Login / Signup

Accessible Software Verification with Dafny.

K. Rustan M. Leino
Published in: IEEE Softw. (2017)
Keyphrases
  • database
  • data processing