Skip to main navigation
Skip to search
Skip to main content
Teesside University's Research Portal Home
Home
Profiles
Research units
TeesRep
Student theses
Projects
Datasets
Press/Media
Search by expertise, name or affiliation
Integrating BON and Object-Z.
Richard F. Paige, Phillip J. Brooke
School of Computing, Engineering & Digital Technologies
Research output
:
Contribution to journal
›
Article
›
peer-review
101
Downloads (Pure)
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Integrating BON and Object-Z.'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Engineering & Materials Science
Formal specification
100%
Specification languages
96%