Title

'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 document is currently not available here.

Share

COinS