Robert M. Dickerson
- RHLE: Modular Deductive Verification of Relational ∀∃ Properties
2020/02/07 by Robert M. Dickerson, Qianchuan Ye, Dickerson, Robert +5 · 2 citations
Computer Science · #D.2.4 #F.3.1 #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Programming Languages (cs.PL) #Software Reliability and Analysis Research