Interactive verification of architectural design patterns in FACTum Academic Article
Overview
publication date
- November 1, 2019
has subject area
published in
- Formal Aspects of Computing Journal
Identity
Digital Object Identifier (DOI)
Additional Document Info
start page
- 541
end page
- 610
volume
- 31
issue
- 5