DMCA

Runtime verification of C programs (2008)

Cached

Download Links

by Klaus Havelund
Venue:In Proc. of the 1st TestCom/FATES conference, volume 5047 of LNCS
Citations:21 - 7 self