Author

Michael Hanus (Ed.)

Catalogue records by Michael Hanus (Ed.) in the PakCat Union Catalogue.

1 catalogue record

Catalogue records

Logic-Based Program Synthesis and Transformation Michael Hanus (Ed.) 2009