The calculus of computation - decision procedures with applications to verification

著者: Aaron R. Bradley, Zohar Manna - DAGLIB 2007 被引用: 194