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
Blog Posting
Overview
Overview
authors
Blakqori, Genc
publication date
July 8, 2019
has subject area
architecture
computer science
mathematics
published in
arXiv (Cornell University)
