Searching for "An integrated verification environment for JML architecture and early 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.

G.: An integrated verification environment for JML: Architecture and early results
by Patrice Chalin, Perry R. James, George Karabotsos — 2007 — In: Sixth International Workshop on Specification and Verification of Component-Based Systems (SAVCBS), Cavtat, Croatia
…An Integrated Verification Environment for JML: Architecture and Early Results Patrice Chalin…
Cited by 1 (0 self) – Add To MetaCart

Showing 1 through 1.

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