q=%28%E7%BE%8E%29Edmund+M.+Clarke%2C+Jr.%EF%BC%8C%28%E7%BE%8E%29Orna+Grumberg%EF%BC%8C%28%E7%BE%8E%29Doron+A.+Peled%E8%91%97&searchType=standard&isFacet=true&view=standard&rows=10&sortWay=score&sortOrder=desc&searchWay0=marc&logical0=AND
rows=10&searchWay0=marc&logical0=AND
(美)Edmund M. Clarke, Jr.,(美)Orna Grumberg,(美)Doron A. Peled著