Títulos similares: Rigorous Development of Complex Fault-Tolerant Systems /

Autor: Michael Butler, Cliff B. Jones, Alexander Romanovsky, Elena Troubitsyna