DMCA

Online inference and enforcement of temporal properties (2010)

by Mark Gabel , Zhendong Su
Venue:In International Conference on Software Engineering (ICSE
Citations:25 - 0 self