Software Development by Refinement

@inproceedings{Pavlovic2002SoftwareDB,
  title={Software Development by Refinement},
  author={Dusko Pavlovic and Douglas R. Smith},
  booktitle={10th Anniversary Colloquium of UNU/IIST},
  year={2002}
}
Highly Cited
This paper has 49 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.

Citations

Publications citing this paper.

Similar Papers

Loading similar papers…