Programs as binary multirelations

Ingrid Rewitzky. Programs as binary multirelations. In Participants Copies of Third International Seminar on the Use of Relational Methods in Computer Science, January 6-10, 1997, Hammamet, Tunisia. pages 257-272, 1997.

@inproceedings{Rewitzky97,
  title = {Programs as binary multirelations},
  author = {Ingrid Rewitzky},
  year = {1997},
  researchr = {https://researchr.org/publication/Rewitzky97},
  cites = {0},
  citedby = {0},
  pages = {257-272},
  booktitle = {Participants Copies of Third International Seminar on the Use of Relational Methods in Computer Science, January 6-10, 1997, Hammamet, Tunisia},
}