BibTeX record conf/models/HilkenSSG16

download as .bib file

@inproceedings{DBLP:conf/models/HilkenSSG16,
  author    = {Frank Hilken and
               Marcel Schuster and
               Karsten Sohr and
               Martin Gogolla},
  title     = {Integrating {UML/OCL} Derived Properties into Validation and Verification
               Processes},
  booktitle = {OCL@MoDELS},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1756},
  pages     = {89--104},
  publisher = {CEUR-WS.org},
  year      = {2016}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics