Set interfaces for generalized typestate and data structure consistency verification (2006)

Cached

Download Links

by Patrick Lam , Viktor Kuncak , Karen Zee , Martin Rinard
Venue:THEORETICAL COMPUTER SCIENCE, SUBMITTED
Citations:3 - 3 self