Menu
Home
Help and information
About this website
Privacy Policy
Roger Duke
1 published title
Formal object-oriented specification using Object-Z
1 edition
ISBN: 0333801237
Macmillan
2000
Details