Skip to main navigation
Skip to search
Skip to main content
The University of Brighton Home
Home
Profiles
Organisational Units
Equipment
Projects
Research output
Activities
Student theses
Search by expertise, name or affiliation
Diagrams and intuitive formal specifications
James Burton
University of Brighton
Research output
:
Contribution to conference
›
Abstract
›
peer-review
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Diagrams and intuitive formal specifications'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Engineering & Materials Science
Formal methods
49%
Formal specification
100%
Specifications
54%