TY  - RPRT
TI  - CISE3: Verificação de aplicações com consistência fraca em Why3
AU  - Filipe Meirim
AU  - Mário Pereira
AU  - Carla Ferreira
PY  - 2019
UR  - https://arxiv.org/abs/1909.03721
ID  - 1909.03721
ER  -