Runtime verification of c programs. (2008)

by Klaus Havelund
Venue:In ICTSS: 8th International Workshop, TestCom ’08 / FATES ’08,