[Zurück]

@inproceedings{TUW-240661,
    author = {Oakes, Bentley James and Troya, Javier and Lucio, Levi and Wimmer, Manuel},
    title = {Fully Verifying Transformation Contracts for Declarative ATL},
    booktitle = {Proceedings of the ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS)},
    year = {2015},
    pages = {1--12},
    publisher = {IEEE},
    url = {http://dx.doi.org/10.1109/MODELS.2015.7338256},
    isbn = {978-1-4673-6908-4},
    doi = {10.1109/MODELS.2015.7338256},
    note = {Vortrag: ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015), Ottawa, Canada; 2015-09-27 -- 2015-10-02}
}