Thomas Kropf
1 reference under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.
Formal Hardware Verification - Methods and Systems in Comparison, volume 1287 of Lecture Notes in Computer Science
Thomas Kropf (1997) · Springer