Algorithms for Basic Compliance Problems

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]

Authors

Silvano Colombo Tosatto

This author has not been identified. Look up 'Silvano Colombo Tosatto' in Google

Marwane El Kharbili

This author has not been identified. Look up 'Marwane El Kharbili' in Google

Guido Governatori

This author has not been identified. Look up 'Guido Governatori' in Google

Pierre Kelsen

This author has not been identified. Look up 'Pierre Kelsen' in Google

Qin Ma 0002

This author has not been identified. Look up 'Qin Ma 0002' in Google

Leendert van der Torre

This author has not been identified. Look up 'Leendert van der Torre' in Google