'Towards Synthesis of Runtime Constraint Monitoring Code,'
Document Type Conference Proceeding
Abstract
Roach, S., and Gates, A., 'Towards Synthesis of Runtime Constraint Monitoring Code,' Proceedings of the Second International Workshop on Automated Program Analysis, Testing and Verification in conjunction with the International Conference on Software Engineering (ICSE 21), Toronto, Canada, May 13, 21.
This paper has been withdrawn.