publication venue for
- Interactive verification of architectural design patterns in FACTum. 31:541-610. 2019
Formal Aspects of Computing
Journal
Overview
Identity
International Standard Serial Number (ISSN)
- 1433-299X