Searching for "Typestate Verification Abstraction Techniques and Complexity Results." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

1 documents found, showing 1 through 1.

Typestate verification: Abstraction techniques and complexity results
by J. Field, D. Goyal, G. Ramalingam, E. Yahav — 2003 — In Proc. of SAS’03, volume 2694 of LNCS
…Typestate Verification: Abstraction Techniques and Complexity Results J. Field 1 , D. Goyal 1 , G…
Cited by 20 (7 self) – Add To MetaCart

Showing 1 through 1.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB