TY  - RPRT
TI  - Computer-Assisted Program Reasoning Based on a Relational Semantics of Programs
AU  - Wolfgang Schreiner
PY  - 2012
DO  - 10.4204/eptcs.79.8
UR  - https://arxiv.org/abs/1202.4834
ID  - 1202.4834
ER  -