Côte de Resyste : Test Automation with Formal Methods

Share/Save/Bookmark

Tretmans, Jan (2000) Côte de Resyste : Test Automation with Formal Methods. Xootic Magazine, 8 (2). pp. 11-13.

[img]
Preview
PDF
18Kb
Item Type:Article
Copyright:© 2000 Xootic Alumni Association
Faculty:
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Link to this item:http://purl.utwente.nl/publications/70499
Organisation URL:http://www.xootic.org
Export this item as:BibTeX
EndNote
HTML Citation
Reference Manager

 

Repository Staff Only: item control page

Metis ID: 121922