Relational Interprocedural Verification of Concurrent Programs.

Bertrand Jeannet

Browse the full SEFM paper archive.