Rigorous development of fault-tolerant systems through co-refinement /
Lopatkin, Ilya,author.
Romanovsky, Alexander,author.
University of Newcastle upon Tyne.School of Computing Science.
Title from caption.
"January 2014."