TY  - RPRT
TI  - Generation of and Debugging with Logical Pre and Postconditions
AU  - Angel Herrranz-Nieva Juan Jose Moreno Navarro
PY  - 2001
UR  - https://arxiv.org/abs/cs/0101009
ID  - cs/0101009
ER  -