Rigorous Development of Complex Fault-Tolerant Systems

Publication Type:

Book

Authors:

Michael Butler; Cliff B. Jones; Alexander Romanovsky; Elena Troubitsyna

Source:

Berlin: Springer (2006)

Last updated: Wednesday, 22 January 2014