An LTL Proof System for Runtime Verification (2015)

by C Cini, A Francalanza
Venue:In TACAS, volume 9035