Formal test automation: The conference protocol with TGV/TORX

R.G. de Vries, G.J. Tretmans

Research output: Contribution to journal › Article › Academic

Original language	Undefined
Pages (from-to)	282-292
Journal	Software engineering journal
Volume	2
Issue number	4
Publication status	Published - 2000

Keywords

@article{9abf94fb85484684b9d5bc42faae7b44,

title = "Formal test automation: The conference protocol with TGV/TORX",

keywords = "METIS-118700",

author = "{de Vries}, R.G. and G.J. Tretmans",

year = "2000",

language = "Undefined",

volume = "2",

pages = "282--292",

journal = "Software engineering journal",

issn = "0268-6961",

publisher = "IEE Proceedings",

number = "4",

}