%0 Journal Article %1 journals/sigplan/GoldsackLD96 %A Goldsack, Stephen J. %A Lano, Kevin %A Dürr, Eugène %D 1996 %J ACM SIGPLAN Notices %K dblp %N 4 %P 32-38 %T Annealing and Data Decomposition in VDM++. %U http://dblp.uni-trier.de/db/journals/sigplan/sigplan31.html#GoldsackLD96 %V 31

@article{journals/sigplan/GoldsackLD96, added-at = {2022-03-31T00:00:00.000+0200}, author = {Goldsack, Stephen J. and Lano, Kevin and Dürr, Eugène}, biburl = {https://www.bibsonomy.org/bibtex/2efb661787999835b2c99f2589543b10f/dblp}, ee = {https://doi.org/10.1145/249118.249124}, interhash = {427164c163774bb82b22f96ac303e585}, intrahash = {efb661787999835b2c99f2589543b10f}, journal = {ACM SIGPLAN Notices}, keywords = {dblp}, number = 4, pages = {32-38}, timestamp = {2024-04-08T11:10:37.000+0200}, title = {Annealing and Data Decomposition in VDM++.}, url = {http://dblp.uni-trier.de/db/journals/sigplan/sigplan31.html#GoldsackLD96}, volume = 31, year = 1996 }