The Omnibus language and integrated verification approach /
Wilson, Thomas,1981-
University of Stirling.Department of Computing Science and Mathematics.
Stirling : University of Stirling, Dept. of Computing Science and Mathematics,
[2008]
"January 08."
Includes bibliographical references.
Omnibus (Computer program language)
Object-oriented programming languages.
Computer programs (Verification)