A software framework for automated verification

I.G.J. Raedts, M. Petkovic, A. Serebrenik, J.M.E.M. Werf, van der, L.J.A.M. Somers, M. Boote

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

1 Citation (Scopus)
3 Downloads (Pure)


Dive into the research topics of 'A software framework for automated verification'. Together they form a unique fingerprint.

Engineering & Materials Science