DMCA

Verifying concurrent message-passing C programs with recursive calls (2006)

by S. Chaki , E. Clarke , N. Kidd , T. Reps , T. Touili
Venue:In TACAS
Citations:41 - 16 self