CD2Alloy: A Translation of Class Diagrams to Alloy (bibtex)
by Oliver Kautz, Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe
Reference:
O. Kautz, S. Maoz, J. O. Ringert, and B. Rumpe. CD2Alloy: A Translation of Class Diagrams to Alloy, Technical report AIB-2017-06, RWTH Aachen University, July, 2017.
Bibtex Entry:
@techreport{KMRR17,
    key = {KMRR17},
    author = {Kautz, Oliver and Maoz, Shahar and Ringert, Jan Oliver and Rumpe, Bernhard},
    title = {{CD2Alloy: A Translation of Class Diagrams to Alloy}},
    institution = {RWTH Aachen University},
    year = {2017},
    month = {July},
    type = {Technical Report},
    number = {AIB-2017-06},
    url = {http://www.se-rwth.de/publications/CD2Alloy-A-Translation-of-Class-Diagrams-to-Alloy.pdf},
    keywords = {}
}
Powered by bibtexbrowser