TY  - RPRT
TI  - A Genetically Modified Hoare Logic
AU  - Gilles Bernot
AU  - Jean-Paul Comet
AU  - Zohra Khalis
AU  - Adrien Richard
AU  - Olivier Roux
PY  - 2015
UR  - https://arxiv.org/abs/1506.05887
ID  - 1506.05887
ER  -