The Overture Initiative – Integrating Tools for VDM. Larsen, P. G., Battle, N., Ferreira, M., Fitzgerald, J., Lausdahl, K., & Verhoef, M. SIGSOFT Softw. Eng. Notes, 35(1):1–6, ACM, New York, NY, USA, January, 2010.
The Overture Initiative – Integrating Tools for VDM [link]Paper  bibtex   
@article{Larsen&10a,
  address =       {New York, NY, USA},
  author =        {Peter Gorm Larsen and Nick Battle and Miguel Ferreira and
                   John Fitzgerald and Kenneth Lausdahl and
                   Marcel Verhoef},
  journal =       {SIGSOFT Softw. Eng. Notes},
  key =           {Larsen\&10},
  month =         {January},
  number =        {1},
  pages =         {1--6},
  publisher =     {ACM},
  title =         {{The Overture Initiative -- Integrating Tools for
                   VDM}},
  volume =        {35},
  year =          {2010},
  issn =          {0163-5948},
  url =           {http://doi.acm.org/10.1145/1668862.1668864},
}
Downloads: 0