Author

Philippe Audebaud

Catalogue records by Philippe Audebaud in the PakCat Union Catalogue.

1 catalogue record

Catalogue records

Mathematics of Program Construction Philippe Audebaud 2008