TY  - RPRT
TI  - Platform Dependent Verification: On Engineering Verification Tools for 21st Century
AU  - Luboš Brim
AU  - Jiří Barnat
PY  - 2011
DO  - 10.4204/eptcs.72.1
UR  - https://arxiv.org/abs/1111.0368
ID  - 1111.0368
ER  -