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

G.J. Tretmans, Axel Belinfante

Research output: Contribution to journal › Article › Professional

Original language	Undefined
Pages (from-to)	8-10
Number of pages	3
Journal	TestNet Nieuws - Nieuwsbrief van de vereniging TestNet
Volume	4
Issue number	1
Publication status	Published - 2000

Keywords

@article{4256883fe9ef43bbaa7779b0d4d4953a,

title = "Automatic Testing with Formal Methods - Samenvatting van de EuroSTAR'99 presentatie",

keywords = "IR-19924, METIS-121924, EWI-6373",

author = "G.J. Tretmans and Axel Belinfante",

year = "2000",

language = "Undefined",

volume = "4",

pages = "8--10",

journal = "TestNet Nieuws - Nieuwsbrief van de vereniging TestNet",

publisher = "TestNet",

number = "1",

}

TY - JOUR

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

AU - Tretmans, G.J.

AU - Belinfante, Axel

PY - 2000

Y1 - 2000

KW - IR-19924

KW - METIS-121924

KW - EWI-6373

M3 - Article

VL - 4

SP - 8

EP - 10

JO - TestNet Nieuws - Nieuwsbrief van de vereniging TestNet

JF - TestNet Nieuws - Nieuwsbrief van de vereniging TestNet

IS - 1

ER -