Formal Methods for Conformance Testing: Theory Can Be Practical

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	Undefined
Title of host publication	Proceedings of Computer Aided Verification Lecture Notes in Computer Science 1633
Place of Publication	Trento, Italy
Pages	44-46
Number of pages	3
Publication status	Published - 9 Jul 1999

Keywords

@inproceedings{1bfa4a2aa37e4b9692804d74625bd7d5,

title = "Formal Methods for Conformance Testing: Theory Can Be Practical",

keywords = "METIS-119613",

author = "Hendrik Brinksma",

year = "1999",

month = jul,

day = "9",

language = "Undefined",

pages = "44--46",

booktitle = "Proceedings of Computer Aided Verification Lecture Notes in Computer Science 1633",

}