Skip to content

Domain-Oriented Verification Management.

Vincent Leild, Vincent Ribaud, Ciprian Teodorov, Philippe Dhaussy

VenueCMEDI
Year2018
ProceedingsMEDI

Browse the full MEDI paper archive.