Searching for "Scientific Decisions which Characterize VDM." – 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.

Scientific decisions which characterize VDM
by Cliff B Jones — 1999 — In FM’99 – Formal Methods
…Scientific Decisions which Characterize VDM Cliff B Jones Department of Computer Science…
Cited by 8 (2 self) – Add To MetaCart

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
…. Scientific decisions which characterize VDM. In FM'99 -- Formal Methods, volume 1708 of Lecture Notes…
Add To MetaCart

Showing 1 through 2.

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