Skip to content

Hierarchical Specification and Verification of Architectural Design Patterns.

Diego Marmsoler

VenueBFASE
Year2018
ProceedingsFASE

Browse the full FASE paper archive.