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
2 research outputs found
Author index volume 173 (1997)
Author
Publication venue
Published by Elsevier B.V.
Publication date
Field of study
Get PDF
Elsevier - Publisher Connector
Proof systems for structured specifications with observability operators
Author
Astesiano
Astesiano
+59Â more
Barwise
Bauer
Bernot
Bidoit
Bidoit
Bidoit
Bidoit
Bidoit
Bidoit
Broy
Burstall
Cengarle
Chang
Dershowitz
Ehrig
Ehrig
Ehrig
Ehrig
Farrés-Casals
Futatsugi
Gaudel
Geser
Goguen
Harper
Harper
Hennicker
Hennicker
Hennicker
Hoare
Hofmann
Hofmann
Jonkers
Kahrs
Kreisel
Lehmann
Malcolm
Martin Wirsing
Michel Bidoit
Milner
Nivela
Orejas
Orejas
Reichel
Reichel
Reichel
Rolf Hennicker
Sannella
Sannella
Sannella
Sannella
Sannella
Sannella
Schoett
Schoett
Schoett
Wirsing
Wirsing
Wirsing
Wolter
Publication venue
'Elsevier BV'
Publication date
Field of study
No full text
Crossref