BibTeX record conf/models/ClarisoG19

download as .bib file

@inproceedings{DBLP:conf/models/ClarisoG19,
  author    = {Robert Claris{\'{o}} and
               Martin Gogolla},
  title     = {A Feasibility Study on Using Classifying Terms in Alloy},
  booktitle = {OCL@MoDELS},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {2513},
  pages     = {45--58},
  publisher = {CEUR-WS.org},
  year      = {2019}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics