D. Yu. Boulychev;D. V. Koznov;Andrey A. Terekhov
-;-;-
OCL-Based Automated Validation Method for UML Specifications
Programming and Computing Software