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.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.