Searching for "Experiences in Developing a Proof Theory for VDM Specifications." – 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.

Experiences in Developing a Proof Theory for VDM Specifications
by J.S. Fitzgerald, R. Moore, Ewcastle Upon Tyne E Ru — 1993
… of a more comprehensive proof theory for VDM. This will be presented in [BFL + 93]. The present paper…
Cited by 4 (1 self) – Add To MetaCart

Showing 1 through 1.

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