MCC: A runtime verification tool for MCAPI user applications (Formal Methods in Computer−Aided Design‚ 2009. FMCAD 2009, 2009)

(untitled) - Sharma, S; Gopalakrishnan, G; Mercer, E; Holt, J