-
961
-
962
-
963
-
964
-
965
-
966
Invariants and state in testing and formal methods.
Publicado en Software engineering notes.Artículo -
967
-
968
-
969
-
970