TY  - RPRT
TI  - Graph Based Reduction of Program Verification Conditions
AU  - Jean-François Couchot
AU  - Alain Giorgetti
AU  - Nicolas Stouls
PY  - 2009
UR  - https://arxiv.org/abs/0907.1357
ID  - 0907.1357
ER  -