-
31
-
32
-
33
-
34
-
35
-
36
-
37
-
38
-
39
Invariants and state in testing and formal methods.
Published in Software engineering notes.Article -
40


