A Temporal Logic of Nested Calls and Returns.

Rajeev Alur, Kousha Etessami, P. Madhusudan

Browse the full TACAS paper archive.