Compositional Specifications for ioco Testing

Research output: Chapter in Book or Conference Proceedings › Conference Proceedings with Oral Presentation › peer-review

Conference	ICST 2014
Period	31/03/14 → 4/04/14

Research Field

@inproceedings{d53a9362f8f0403aa1d7334f0243b2bc,

title = "Compositional Specifications for ioco Testing",

author = "Dejan Nickovic and Przemyslaw Daca and Thomas Henzinger and Willibald Krenn",

year = "2014",

language = "English",

isbn = "978-0-7695-5185-2",

pages = "373--382",

booktitle = "ICST 2014",

note = "ICST 2014 ; Conference date: 31-03-2014 Through 04-04-2014",

}