Model Checking, second edition Model Checking, second edition
2018년
Computer Science Logic Computer Science Logic
2010년