Research Atlas
Select a language
English (United States)
Deutsch (Deutschland)
Index
Log in via ORCiD
Search form
Menu
Home
People
Organizations
Research
Events
APML: An Architecture Proof Modeling Language
Chapter
Overview
Identity
View All
Overview
authors
Blakqori, Genc
publication date
January 1, 2019
has subject area
architecture
computer science
mathematics
published in
Lecture Notes in Computer Science
Identity
Digital Object Identifier (DOI)
https://doi.org/10.1007/978-3-030-30942-8_36
