【作者(必填)】
by Edmund M. Clarke Jr. (Author), Orna Grumberg (Author), Daniel Kroening (Author), Doron Peled (Author), Helmut Veith (Author)
【文题(必填)】
Model Checking 2nd Edition,
【年份(必填)】
2018
【全文链接或数据库名称(选填)】https://www.amazon.com/Model-Che ... tal-text&sr=8-1