A Framework for Interactive Verification of Architectural Design Patterns in Isabelle/HOL.

Diego Marmsoler

Browse the full ICFEM paper archive.