1001 search results - page 6 / 201 » Testing Formal Dialectic |
171
Voted
ZUM
1998
Springer
15 years 10 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...
167
Voted
AGTIVE
2003
Springer
15 years 11 months ago
2003
Springer
129
Voted
FM
2001
Springer
15 years 10 months ago
2001
Springer
137
Voted
FM
1998
Springer
15 years 10 months ago
1998
Springer
