-
41
-
42
Modular verification of collaboration-based software designs.
Published in Software engineering notes.Article -
43
-
44
-
45
An empirical methodology for introducing software processes.
Published in Software engineering notes.Article -
46
A specification-based approach to reasoning about pointers.
Published in Software engineering notes.Article -
47
-
48
Non-null references by default in the Java modeling language.
Published in Software engineering notes.Article -
49
-
50