Research indexBook chapter
Basic formal verification algorithms
Seligman, Schubert, Kumar
Elsevier eBooks1 Jan 2015
NobleIDark:/48914/w1/20260521/793D9053DOI10.1016/b978-0-12-800727-3.00002-2
Book chapter
Basic formal verification algorithms
Seligman, Schubert, Kumar · Elsevier eBooks · 2015 · Subscription
NobleIDark:/48914/w1/20260521/793D9053DOI10.1016/b978-0-12-800727-3.00002-2