Searching for "Whither Formal Methods A Plea to Investigate New Applications." – 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.

Main Publications
by Cliff B. Jones, D. Bjrner, W. Henhapl, H. Bekic, H. Bekic, H. Izbicki, H. Barringer, B. T. Denvir, V. A. Downes, C. B. Jones, C. B. Jones, C. B. Jones, R. A. Snowdon, M. K. Tordoff — 2000
… Publishers, 1996. [80] C. B. Jones. Whither formal methods? a plea to investigate new applications…
Add To MetaCart

Showing 1 through 1.

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