143
Voted
ZUM
1998
Springer
15 years 7 months ago
1998
Springer
We contrast using a notation extension with using a combination of notations. Specifically, we compare the use of an extended dialect of Z [10] with a combination of Z and predicat...