An Example of Hierarchical Program Specification

Bálint Dömölki. An Example of Hierarchical Program Specification. In Dines Bjørner, editor, Abstract Software Specifications, 1979 Copenhagen Winter School, January 22 - February 2, 1979, Proceedings. Volume 86 of Lecture Notes in Computer Science, pages 333-353, Springer, 1979.

@inproceedings{Domolki79,
  title = {An Example of Hierarchical Program Specification},
  author = {Bálint Dömölki},
  year = {1979},
  researchr = {https://researchr.org/publication/Domolki79},
  cites = {0},
  citedby = {0},
  pages = {333-353},
  booktitle = {Abstract Software Specifications, 1979 Copenhagen Winter School, January 22 - February 2, 1979, Proceedings},
  editor = {Dines Bjørner},
  volume = {86},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-10007-5},
}