Using Theorem Proving and Algorithmic Decision Procedures for Large-Scale System Verification (2005)

by Sandip Ray , J Strother Moore , E. Allen Emerson , Mohammed G. Gouda , Warren A. Hunt , C. Greg Plaxton , John R. Matthews , Ip Ray
Citations:1 - 0 self