Skip to main content

FDR2 user manual

Paul Gardiner‚ Michael Goldsmith‚ Jason Hulance‚ David Jackson‚ AW Roscoe‚ Bryan Scattergood and Philip Armstrong

Journal
Formal Systems (Europe) Ltd
Year
2000