|
by Przigoda, Nils, Wille, Robert, Przigoda, Judith, Drechsler, Rolf
Published 2018
“... and verification of UML/OCL models; Demonstrates a detailed realization of the general flow using satisfiability...”Published 2018
Springer International Publishing