Nicolas Zabel (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2 Thomas Käufl, Nicolas Zabel: The Theorem Prover of the Program Verifier Tatzelwurm. CADE 1990: 657-658

Selection of 1 from 8 records - Nicolas Zabel has 3 coauthors