Silvano Colombo Tosatto, Marwane El Kharbili, Guido Governatori, Pierre Kelsen, Qin Ma 0002, Leendert van der Torre. Algorithms for Basic Compliance Problems. In 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation, Workshops Proceedings, Luxembourg, Luxembourg, March 18-22, 2013. pages 2-7, IEEE, 2013. [doi]
@inproceedings{TosattoKGK0T13,
title = {Algorithms for Basic Compliance Problems},
author = {Silvano Colombo Tosatto and Marwane El Kharbili and Guido Governatori and Pierre Kelsen and Qin Ma 0002 and Leendert van der Torre},
year = {2013},
doi = {10.1109/ICSTW.2013.6},
url = {http://doi.ieeecomputersociety.org/10.1109/ICSTW.2013.6},
researchr = {https://researchr.org/publication/TosattoKGK0T13},
cites = {0},
citedby = {0},
pages = {2-7},
booktitle = {2013 IEEE Sixth International Conference on Software Testing, Verification and Validation, Workshops Proceedings, Luxembourg, Luxembourg, March 18-22, 2013},
publisher = {IEEE},
isbn = {978-1-4799-1324-4},
}