SAFECAP domain language for reasoning about safety and capacity /
Iliasov, Alexei.
Romanovsky, Alexander,1954-
University of Newcastle upon Tyne.School of Computing Science.
Newcastle upon Tyne : Computing Science, Newcastle University,
c2012.
"September 2012."
Caption title.