TY  - RPRT
TI  - Provably Correct Systems: Community, connections, and citations
AU  - Jonathan P. Bowen
PY  - 2015
DO  - 10.1007/978-3-319-48628-4_13
UR  - https://arxiv.org/abs/1509.02908
ID  - 1509.02908
ER  -