TY  - RPRT
TI  - Case studies of development of verified programs with Dafny for accessibility assessment
AU  - João Pascoal Faria
AU  - Rui Abreu
PY  - 2023
UR  - https://arxiv.org/abs/2301.03224
ID  - 2301.03224
ER  -