Author

Bernardo, Marco

Catalogue records by Bernardo, Marco in the PakCat Union Catalogue.

2 catalogue records

Catalogue records

Formal methods for software architectures Marco Bernardo, Paola Inverardi (eds.) 2003 Formal methods for the design of real-time systems Marco Bernardo, Flavio Corradini (eds.) 2004