"SIMULATING REACHABILITY USING FIRST-ORDER LOGIC WITH APPLICATIONS TO V" by T Lev-Ami, N Immerman et al.

Computer Science Department Faculty Publication Series

SIMULATING REACHABILITY USING FIRST-ORDER LOGIC WITH APPLICATIONS TO VERIFICATION OF LINKED DATA STRUCTURES

T Lev-Ami
N Immerman
TW Reps
M Sagiv
S Srivastava
G Yorsh

2009

LOGICAL METHODS IN COMPUTER SCIENCE

This document is currently not available here.

COinS