Author

José Meseguer

Catalogue records by José Meseguer in the PakCat Union Catalogue.

1 catalogue record

Catalogue records

Algebraic Methodology and SoftwareTechnology José Meseguer 2008