Aspect-Oriented Runtime Monitor Certification.

Kevin W. Hamlen, Micah Jones, Meera Sridhar

Browse the full TACAS paper archive.