Automatic Testing with Formal Methods - Samenvatting van de EuroSTAR'99 presentatie

Share/Save/Bookmark

Tretmans, Jan and Belinfante, Axel (2000) Automatic Testing with Formal Methods - Samenvatting van de EuroSTAR'99 presentatie. Testnet Nieuws, 4 (1). pp. 8-10.

Full text not available from this repository. The author is invited to upload the full text of this publication.

Item Type:Article
Faculty:
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:
Link to this item:http://purl.utwente.nl/publications/19924
Official URL:http://www.testnet.org/testnet-nieuws/testnet-nieuws.html
Organisation URL:http://www.testnet.org/
Export this item as:BibTeX
EndNote
HTML Citation
Reference Manager

 

Repository Staff Only: item control page

Metis ID: 121924