1001 search results - page 6 / 201 » Testing Formal Dialectic |
ZUM
1998
Springer
13 years 12 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...
AGTIVE
2003
Springer
14 years 27 days ago
2003
Springer
FM
2001
Springer
14 years 4 days ago
2001
Springer
FM
1998
Springer
13 years 12 months ago
1998
Springer
SAS
1993
Springer
13 years 11 months ago
1993
Springer
