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

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:	Formal Methods and Tools (FMT)
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

Show download statistics for this publication

Repository Staff Only: item control page

Metis ID: 121924