Searching for "An overview of JML tools and applications." – 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.

An Overview of JML Tools and Applications
by Lilian Burdy, Yoonsik Cheon, David Cok, Michael D. Ernst, Joe Kiniry, Gary T. Leavens, K. Rustan, M. Leino, Erik Poll — 2003
…An Overview of JML Tools and Applications http://www.jmlspecs.org [Published in T. Arts and W…
Cited by 163 (32 self) – Add To MetaCart

ESC/Java2: Uniting ESC/Java and JML - Progress and issues in building and using ESC/Java2
by David R. Cok, Joseph R. Kiniry — 2004 — In Construction and Analysis of Safe, Secure and Interoperable Smart Devices: International Workshop, CASSIS 2004
… of JML tools and applications. In T. Arts and W. Fokkink, editors, Eighth International Workshop…
Cited by 36 (6 self) – Add To MetaCart

Showing 1 through 2.

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