Showing 1 - 2 results of 2 for search 'Hinchey, Michael G. 1969-', query time: 0.02s
Refine Results
-
1
ZUM '95, the Z formal specification notation 9th International Conference of Z Users, Limerick, Ireland, September 7-9, 1995 : proceedings
Published 1995Call Number: loading...
Located: loading...Book loading... -
2
Applications of formal methods
Published 1995Call Number: loading...
Located: loading...Book loading...