The Overture Initiative – Integrating Tools for VDM. Larsen, P. G., Battle, N., Ferreira, M., Fitzgerald, J., Lausdahl, K., & Verhoef, M. In Zhang, M. & Stolz, V., editors, Harnessing Theories for Tool Support in Software, pages 9–19, November, 2010.
bibtex   
@inproceedings{Larsen&10i,
  author =        {Peter Gorm Larsen and Nick Battle and Miguel Ferreira and
                   John Fitzgerald and Kenneth Lausdahl and
                   Marcel Verhoef},
  booktitle =     {{Harnessing Theories for Tool Support in Software}},
  editor =        {Min Zhang and Volker Stolz},
  key =           {Larsen&10i},
  month =         {November},
  pages =         {9--19},
  title =         {{The Overture Initiative -- Integrating Tools for
                   VDM}},
  year =          {2010},
}

Downloads: 0