RODIN Project
RODIN Project Book 2006
Michael J. Butler, Cliff B. Jones, Alexander Romanovsky, Elena Troubitsyna (Eds.): Rigorous Development of Complex Fault-Tolerant Systems [FP6 IST-511599 RODIN project]. Springer 2006 Lecture Notes in Computer Science 4157 ISBN 3-540-48265-2 [ contents ]



