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

authors

Marmsoler, Diego

publication date

January 1, 2018

has subject area

published in

Lecture Notes in Computer Science

Digital Object Identifier (DOI)

https://doi.org/10.1007/978-3-030-02450-5_15

start page

251

end page

269