Guided formal development : patterns for modelling and refinement /
Iliasov, Alexei.
University of Newcastle upon Tyne.School of Computing Science.
Newcastle upon Tyne : Univ. of Newcastle upon Tyne, Computing Science,
2008.
"June 2008".
Includes bibliographical references.
Computer software
Software engineering.
Formal methods (Computer science)