Model Checking: Software and Beyond

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