Theory and methodology of assumption/commitment based system interface specification and architectural contracts Academic Article
Overview
publication date
- November 25, 2017
has subject area
published in
- Formal Methods in System Design Journal
Identity
Digital Object Identifier (DOI)
Additional Document Info
start page
- 33
end page
- 87
volume
- 52
issue
- 1