TY  - RPRT
TI  - The UML as a Formal Modeling Notation
AU  - Andy Evans
AU  - Robert France
AU  - Kevin Lano
AU  - Bernhard Rumpe
PY  - 2014
DO  - 10.1007/978-3-540-48480-6_26
UR  - https://arxiv.org/abs/1409.6919
ID  - 1409.6919
ER  -