Computing science : towards next generation tools for VDM : contributions to the first International Overture Workshop, Newcastle, July 2005 /
Fitzgerald, J. S.
Larsen, P. G.
Plat, N.
University of Newcastle upon Tyne.
Newcastle : University of Newcastle upon Tyne,
2006.
Title from cover.
"June 2006"