Reasoning about programs with e ectsIan

@inproceedings{MasonStanford1990ReasoningAP,
  title={Reasoning about programs with e ectsIan},
  author={MasonStanford and UniversityIAM},
  year={1990}
}
  • MasonStanford, UniversityIAM
  • Published 1990