Refinement patterns for fault tolerant systems /
Iliasov, Alexei.
Romanovsky, Alexander,1954-
University of Newcastle upon Tyne.School of Computing Science.
Newcastle upon Tyne : University of Newcastle upon Tyne, Computing Science,
2008.
Title from the cover.
Includes bibliographical references.
Computer software
Formal methods (Computer science)