Axiomatic Proof Techniques for Parallel Programs

@inproceedings{Owicki1975AxiomaticPT,
  title={Axiomatic Proof Techniques for Parallel Programs},
  author={Susan S. Owicki},
  booktitle={Outstanding Dissertations in the Computer Sciences},
  year={1975}
}
  • Susan S. Owicki
  • Published 1975 in
    Outstanding Dissertations in the Computer…
Highly Cited
This paper has 128 citations. REVIEW CITATIONS

Statistics

0510'76'80'85'90'95'00'05'10'15
Citations per Year

129 Citations

Semantic Scholar estimates that this publication has 129 citations based on the available data.

See our FAQ for additional information.