Tools and methods for validation and verification

Paola Jaramillo*, Andrei Pruteanu, Willem van Driel, Wijnand van Kooten, Jean Paul Linnartz

*Corresponding author for this work

Research output: Chapter in Book/Conference proceedings/Edited volumeChapterScientificpeer-review


Dive into the research topics of 'Tools and methods for validation and verification'. Together they form a unique fingerprint.


Computer Science