-
1991
-
1992
-
1993
-
1994
-
1995
-
1996
-
1997
Modular verification of collaboration-based software designs.
Published in Software engineering notes.Article -
1998
-
1999
-
2000