Nils Przigoda, Jonas Gomes Filho, Philipp Niemann, Robert Wille, Rolf Drechsler,
"Frame Conditions in the Automatic Validation and Verification of UML/OCL Models A Complementary Approach Using modifies only Statements"
, in Computer Languages, Systems and Structures, Vol. 54, Seite(n) 512-527, 2018, ISSN: 1477-8424
Original Titel:
Frame Conditions in the Automatic Validation and Verification of UML/OCL Models A Complementary Approach Using modifies only Statements
Forschungs-