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
5 research outputs found
Modular Completeness:Integrating the reuse of specified software in top-down program development
Author
de Roever Willem-Paul
Hannemann Ulrich
+3Â more
Lakhneche Yassine
Stomp Frank
Zwiers Job
Publication venue
Springer
Publication date
01/01/1996
Field of study
Get PDF
Crossref
University of Twente Research Information
Concurrency Verification: Introduction to Compositional and Noncompositional Methods
Author
de Boer Frank
de Roever Willem-Paul
+5Â more
Hanneman Ulrich
Hooman Jozef
Lakhneche Yassine
Poel Mannes
Zwiers Job
Publication venue
'Cambridge University Press (CUP)'
Publication date
01/01/2001
Field of study
No full text
Provably correct compiler development and implementation
Author
Buth Bettina
Buth Karl-Heinz
+5Â more
Fränzle Martin
Karger Burghard von
Lakhneche Yassine
Langmaack Hans
Müller-Olm Markus
Publication venue
Springer Verlag
Publication date
01/01/1992
Field of study
No full text
Online Research Database In Technology