Author

Kropf, Thomas

Catalogue records by Kropf, Thomas in the PakCat Union Catalogue.

2 catalogue records

Catalogue records

Introduction to formal hardware verification Kropf, Thomas 2010 Introduction to formal hardware verification Kropf, Thomas 1999