Formal Methods for Software Architectures: Third International School on Formal Methods for the Design of Computer, Communication and Software ... Book Discussion
Formal Methods for Software Architectures: Third International School on Formal Methods for the Design of Computer, Communication and Software ... (Lecture Notes in Computer Science, 2804)
by
