COMS-02:vasco-76

O. Maury, Y. Ledru, P. Bontron, L. du Bousquet. Using TOBIAS for the automatic generation of VDM test cases. In Third VDM Workshop (in conjunction with FME2002), 15 pages, Copenhagen, Danemark, 2002.

Contact

Yves Ledru

BibTex Reference

@InProceedings{COMS-02:vasco-76,
   Author = {Maury, O. and Ledru, Y. and Bontron, P. and du Bousquet, L.},
   Title = {{Using TOBIAS for the automatic generation of VDM test cases}},
   BookTitle = {{Third VDM Workshop (in conjunction with FME2002)}},
   Address = {Copenhagen, Danemark},
   Year = {2002}
}

EndNote Reference [help]

Get EndNote Reference (.ref)