Author

Schumann, Johann M.

Catalogue records by Schumann, Johann M. in the PakCat Union Catalogue.

1 catalogue record

Catalogue records

Automated theorem proving in software engineering Schumann, Johann M. 2001