FACTum Studio: A Tool for the Axiomatic Specification and Verification of Architectural Design Patterns Chapter

authors

Kahsay Gidey, Habtom

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-02146-7_14

start page

279

end page

287