Model Checking: Software and Beyond

by Edmund M. Clarke , Flavio Lerda
Citations:5 - 0 self