Searching for "A Formal Approach To Large Software Construction." – 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.

Specification Models
by Ian J. Hayes, Ian J. Hayes — 1996 — University of Michigan
…. References [1] J. R. Abrial. A formal approach to large software construction. In J. L. A. van de Snepscheut…
Cited by 6 (1 self) – Add To MetaCart

Showing 1 through 1.

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