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 & Structures, Vol. 54, Seite(n) 512-527, 2018
Original Titel:
Frame Conditions in the Automatic Validation and Verification of UML/OCL Models A Complementary Approach Using modifies only Statements