Formal Methods for Software Architectures : Third International School on Formal Methods for the Design of Computer, Communication and Software Systems | lit.salon
Formal Methods for Software Architectures : Third International School on Formal Methods for the Design of Computer, Communication and Software Systems