DMCA

Efficient Software Model Checking of Data Structure Properties (2006)

by Paul T. Darga , Chandrasekhar Boyapati
Citations:25 - 2 self