Search Results - "Model checking."
-
21
-
22
-
23
-
24
-
25
Modular verification of collaboration-based software designs.
Published in Software engineering notes.Article