Back to University of Twente portal
Côte de Resyste : Test Automation with Formal Methods
Tretmans, Jan (2000) Côte de Resyste : Test Automation with Formal Methods. Xootic Magazine, 8 (2). pp. 11-13.
![[img]](http://doc.utwente.nl/style/images/fileicons/application_pdf.png)
| 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 |
Show download statistics for this publication
Show download statistics for this publicationRepository Staff Only: item control page
Metis ID: 121922