Formal Software Verification at Model and at Source Code Levels.

Anthony Fernandes Pires, Thomas Polacsek, Stphane Duprat

Browse the full MEDI paper archive.