Siegler, Simon.
Overview
Works: | 4 works in 0 publications in 0 languages |
---|
Titles
Verification, induction, termination analysisfestschrift for Christoph Walther on the occasion of his 60th birthday /
by:
Siegler, Simon.; SpringerLink (Online service); Wasser, Nathan.
(Electronic resources)