Interprocedural Analysis And The Verification Of Concurrent Programs. door Akash Lal