Searching for "A Type-Theoretic Memory Model for Verification of Sequential Java Programs." – sorted by Relevance.

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

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

2 documents found, showing 1 through 2.

A Type-Theoretic Memory Model for Verification of Sequential Java Programs
by Joachim van den Berg, Marieke Huisman, Bart Jacobs, Erik Poll — 1999
…A Type-Theoretic Memory Model for Verication of Sequential Java Programs ? Joachim van den Berg…
Cited by 23 (9 self) – Add To MetaCart

A Type-Theoretic Memory Model for Veri cation of Sequential Java Programs
by Joachim Van Den, M. Huisman, B. P. F. Jacobs, E. Poll, Joachim Van Den Berg, Marieke Huisman, Bart Jacobs, Erik Poll — 1999
…A Type-Theoretic Memory Model for Verification of Sequential Java Programs J.A.G.M. van den Berg, M…
Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB