selected publications

• academic article

  • Interactive verification of architectural design patterns in FACTum.  Formal Aspects of Computing.  31:541-610. 2019