MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "A Theoretical Basis for Stepwise Refinement and the Programming Calculus." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 3 documents found, showing 1 through 3.
ATOM RSS
  • Specification Models  
  • by Ian J. Hayes, Ian J. Hayes — 1996 — University of Michigan
  • … 1988. [21] J.M. Morris. A theoretical basis for stepwise refinement and the programming calculus…
  • Cited by 6 (1 self) – Add To MetaCart
  • Two-Categories and Program Structure  
  • by David Andrew Naumann, Richard August, Naumann After, Using L, Leslie Lamport, The American
  • … in Computer Science, 1989. [Mor87] Joseph M. Morris. A theoretical basis for stepwise refinement…
  • Add To MetaCart
  • The Advanced Theory of  
  • by Peter D. Mosses (editor, Copyright C, Peter D. Mosses (editor, Peter D. Mosses (editor — 1979 — Kendall, Statistics
  • …-Hall, 1990. [6] J.M. Morris. A theoretical basis for stepwise refinement and the programming calculus. Sci…
  • Cited by 1 (0 self) – Add To MetaCart
Help! Showing 1 through 3.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB