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