On methods for the formal specification of fault tolerant systems /
Mazzara, Manuel.
University of Newcastle upon Tyne.School of Computing Science.
Newcastle-upon-Tyne : Computing Science, Newcastle University,
2011.
Caption title.
"June 2011."