Abstract Software Specifications, 1979 Copenhagen Winter School, January 22 - February 2, 1979, Proceedings

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, Springer, 1980.

Conference: ac

@proceedings{ac:1979ass,
  title = {Abstract Software Specifications, 1979 Copenhagen Winter School, January 22 - February 2, 1979, Proceedings},
  year = {1980},
  researchr = {https://researchr.org/publication/ac%3A1979ass},
  cites = {0},
  citedby = {0},
  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},
}