TY  - RPRT
TI  - A sound spatio-temporal Hoare logic for the verification of structured interactive programs with registers and voices
AU  - Cezara Dragoi
AU  - Gheorghe Stefanescu
PY  - 2008
UR  - https://arxiv.org/abs/0810.3332
ID  - 0810.3332
ER  -