Searching for "Beyond Assertions Advanced Specification and Verification with JML and ESC/Java2." – 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.

Beyond assertions: Advanced specification and verification with JML and ESC/Java2
by Erik Poll, Patrice Chalin, David Cok, Joe Kiniry, Gary T. Leavens — 2006 — In Formal Methods for Components and Objects (FMCO) 2005, Revised Lectures, volume 4111 of LNCS
…Beyond Assertions: Advanced Specification and Verification with JML and ESC/Java2 Erik Poll 1…
Cited by 10 (3 self) – Add To MetaCart

Showing 1 through 1.

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