Annealing and Data Decomposition in VDM++

S. J. Goldsack, Kevin Lano, Eugène Dürr. Annealing and Data Decomposition in VDM++. SIGPLAN Notices, 31(4):32-38, 1996.

@article{GoldsackLD96,
  title = {Annealing and Data Decomposition in VDM++},
  author = {S. J. Goldsack and Kevin Lano and Eugène Dürr},
  year = {1996},
  tags = {data-flow},
  researchr = {https://researchr.org/publication/GoldsackLD96},
  cites = {0},
  citedby = {0},
  journal = {SIGPLAN Notices},
  volume = {31},
  number = {4},
  pages = {32-38},
}