Deductive Verification of State-Space Algorithms.

Frdric Gava, Jean Fortin, Michal Guedj

Browse the full IFM paper archive.