Login / Signup

Relational Interprocedural Verification of Concurrent Programs.

Bertrand Jeannet
Published in: SEFM (2009)
Keyphrases