TY  - RPRT
TI  - Assertion checker for the C programming language based on computations over event traces
AU  - Mikhail Auguston
PY  - 2001
UR  - https://arxiv.org/abs/cs/0101007
ID  - cs/0101007
ER  -