Programming Behavioral Test Models for SMT Solving in Scala

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem Konferenzband

Originalspracheenglisch
Titel2019 IEEE International Conference on Software Testing, Verification and Validation Workshops, {ICST} Workshops 2019, Xi'an, China, April 22-23, 2019
Herausgeber (Verlag)IEEE Publications
Seiten52-60
DOIs
PublikationsstatusVeröffentlicht - 2019

Dieses zitieren