Rigorous Development of Complex Fault-Tolerant Systems
by Michael Butler , Alexander Romanovsky , Cliff B. Jones
No reviews yet
First published: 2008
ISBN: 9783540832218
