Menu
Home
Help and information
About this website
Privacy Policy
Richard O. Sinnott
1 published title
An architecture based approach to specifying distributed systems in LOTOS and Z
1 edition
Dept. of Computing Science and Mathematics, University of Stirling
1997
Details