COM:DBLP:conf:kbse:LedruB06

Yves Ledru, Lydie du Bousquet. Tobias-Z: An executable formal specification of a test generator. In 21st IEEE/ACM International Conference on Automated Software Engineering (ASE 2006), 18-22 September 2006, Tokyo, Japan, Demonstration, Pages 353-354, 2006.

Contact

Yves Ledru

BibTex Reference

@InProceedings{COM:DBLP:conf:kbse:LedruB06,
   Author = {Ledru, Yves and du Bousquet, Lydie},
   Title = {Tobias-Z: An executable formal specification of a test generator},
   BookTitle = {21st IEEE/ACM International Conference on Automated Software Engineering (ASE 2006), 18-22 September 2006, Tokyo, Japan},
   Pages = {353--354},
   Publisher = {IEEE Computer Society},
   Year = {2006}
}

EndNote Reference [help]

Get EndNote Reference (.ref)