BIn transition from global to modular temporal reasoning about programs (1989)

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