-
71
-
72
-
73
-
74
-
75
A graph based architectural (Re)configuration language.
Published in Software engineering notes.Article -
76
Modular verification of collaboration-based software designs.
Published in Software engineering notes.Article -
77
-
78
-
79
-
80