A precise semantics for ultraloose specifications
Alastair D. Reid[Google Scholar] [DBLP] [Citeseer]
Masters thesis
Glasgow School of Computing Science
Glasgow, Scotland
1993
Note(s): formal specification
Glasgow School of Computing Science
Glasgow, Scotland
1993
Note(s): formal specification