Author

Martin Leucker (Ed.)

Catalogue records by Martin Leucker (Ed.) in the PakCat Union Catalogue.

1 catalogue record

Catalogue records

Runtime Verification Martin Leucker (Ed.) 2008