-
961
-
962
-
963
-
964
-
965
Invariants and state in testing and formal methods.
Published in Software engineering notes.Article -
966
-
967
-
968
-
969
-
970