Verification and Abstraction of Flow-Graph Programs with Pointers and Computed Jumps (1998)

View PDF

Download Links

by M. Wahab
Citations:4 - 0 self