Modeling, optimization and computation for software verification

Mardavij Roozbehani, Eric Feron, Alexandre Megrestki

Research output: Chapter in Book/Report/Conference proceedingConference contribution

15 Scopus citations

Fingerprint

Dive into the research topics of 'Modeling, optimization and computation for software verification'. Together they form a unique fingerprint.

Keyphrases

Computer Science