CORE
🇺🇦Â
 make metadata, not war
Services
Services overview
Explore all CORE services
Access to raw data
API
Dataset
FastSync
Content discovery
Recommender
Discovery
OAI identifiers
OAI Resolver
Managing content
Dashboard
Bespoke contracts
Consultancy services
Support us
Support us
Membership
Sponsorship
Community governance
Advisory Board
Board of supporters
Research network
About
About us
Our mission
Team
Blog
FAQs
Contact us
Filters
1 research outputs found
Sound and mechanised compositional verification of input-output conformance
Author
Abrial
Aichernig
+44Â more
Aichernig
Aiguier
Ball
Barbosa
Belinfante
Belinfante
Bertrand
Bijl
Brandl
Briones
Cavalcanti
De Nicola
Gotzhein
Hoare
Huo
Isobe
Isobe
Isobe
Isobe
Jard
Jones
Krichen
Ledru
Morell
Morgan
Nipkow
Nogueira
Nogueira
Peleska
Roscoe
Roscoe
Sampaio
Sampaio
Schieferdecker
Schneider
Sifakis
Sun
Tretmans
Tretmans
Tretmans
Veanes
Weiglhofer
Weiglhofer
Woodcock
Publication venue
'Wiley'
Publication date
Field of study
No full text
Crossref