Filters








1 Hit in 0.2 sec

Decision Procedures [book]

Daniel Kroening, Ofer Strichman
2016 Texts in Theoretical Computer Science. An EATCS Series  
doi:10.1007/978-3-662-50497-0 dblp:series/txtcs/KroeningS16 fatcat:zhx3vvjztveudmaxldi45vpkka