TY  - RPRT
TI  - A Framework for Specifying, Prototyping, and Reasoning about Computational Systems
AU  - Andrew Gacek
PY  - 2009
UR  - https://arxiv.org/abs/0910.0747
ID  - 0910.0747
ER  -