Thierry Scheurer

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2000

1 Thierry Scheurer: Formal Methods: The Problem Is Education. SAFECOMP 2000: 198-210