1001 search results - page 6 / 201 » Testing Formal Dialectic |
134
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...
129
Voted
AGTIVE
2003
Springer
15 years 8 months ago
2003
Springer
FM
2001
Springer
15 years 7 months ago
2001
Springer
FM
1998
Springer
15 years 7 months ago
1998
Springer
SAS
1993
Springer
15 years 6 months ago
1993
Springer
