Determining Relevant Model Elements for the Verification of UML/OCL Specifications

@inproceedings{pub6588,
    author = {

Seiter, Julia
 and 

Wille, Robert
 and 

Soeken, Mathias
 and 

Drechsler, Rolf
},
    title = {Determining Relevant Model Elements for the Verification of UML/OCL Specifications},
    booktitle = {Design, Automation & Test in Europe. Design, Automation & Test in Europe (DATE-13), March 18-22, Grenoble, France},
    year = {2013},
    publisher = {IEEE}
}