Formal Methods and Hybrid Real-Time SystemsCliff B. Jones,Jim Woodcock,Zhiming Liu · First published 2008Open the Tome
Theoretical Aspects of Computing - Ictac 2007Cliff B. Jones,Zhiming Liu,Jones Woodcock · First published 2008Open the Tome
Formal methods and hybrid real-time systemsD. Bjørner, Jones, C. B., Jim Woodcock · First published 2007Open the Tome
Theoretical Aspects of Computing - ICTAC 2007Cliff B. Jones, Zhiming Liu, Jones Woodcock · First published 2007Open the Tome
