Model Checking: Software and Beyond

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