Repository landing page
A Survey on Event-B Decomposition
Abstract
ISSN:1863-212- info:eu-repo/semantics/conferenceObject
- Conference Paper
- SPEZIFIKATIONSSPRACHEN (COMPUTERSYSTEME); SYSTEMANALYSE + SYSTEMENTWICKLUNG + SYSTEMENTWURF (COMPUTERSYSTEME); SPECIFICATION LANGUAGES (COMPUTER SYSTEMS); SYSTEMS ANALYSIS + SYSTEMS DEVELOPMENT + SYSTEMS DESIGN (COMPUTER SYSTEMS)
- info:eu-repo/classification/ddc/004
- Data processing, computer science