Transition for Global to Modular Temporal Reasoning About Programs (1984)

by A In Pnueli
Venue:In Logics and Models of Concurrent Systems