-
7401
-
7402
-
7403
-
7404
Invariants and state in testing and formal methods.
Published in Software engineering notes.Article -
7405
-
7406
-
7407
-
7408
-
7409
-
7410