Holzmann, Gerard J.

Monograph from CaltechAUTHORS

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