Holzmann, Gerard J.

Monograph from CaltechAUTHORS

• Filippidis, Ioannis and Murray, Richard M., el al. (2015) Synthesis from multi-paradigm specifications