PakCat catalogue record

Algebraic Methodology and SoftwareTechnology

By José Meseguer

Bibliographic details

Subjects

NULL