TY - RPRT TI - Formal Semantics of Architectural Decision Models AU - Marcin Szlenk PY - 2018 UR - https://arxiv.org/abs/1807.02798 ID - 1807.02798 ER -