Developing mode-rich satellite software by refinement in event B /
Iliasov, Alexei.
University of Newcastle upon Tyne.School of Computing Science.
Newcastle upon Tyne : University of Newcastle upon Tyne, Computing Science,
c2010.
Title from cover.
"June 2010".