Automatic Testing with Formal Methods

G.J. Tretmans, Axel Belinfante

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Professional

32 Downloads (Pure)

1 Report

1 results

1999
Automatic Testing with Formal Methods
Tretmans, J. & Belinfante, A., Dec 1999, Enschede: Centre for Telematics and Information Technology (CTIT). 21 p. (CTIT Technical Report Series; no. 99-17)
Research output: Book/Report › Report › Academic

Open Access
File
573 Downloads (Pure)