DMCA

Efficient Modular Glass Box Software Model Checking

by Michael Roberson , Chandrasekhar Boyapati
Citations:3 - 1 self