Rob Sumners

List of publications from the DBLP Bibliography Server - FAQ

2007

1 EE Sandip Ray, Rob Sumners: Combining Theorem Proving with Model Checking through Predicate Abstraction. IEEE Design & Test of Computers 24(2): 132-139 (2007)

2007
1	EE	Sandip Ray, Rob Sumners: Combining Theorem Proving with Model Checking through Predicate Abstraction. IEEE Design & Test of Computers 24(2): 132-139 (2007)

Coauthor Index