POMIV

(redirected from Partial Order Methods in Verification)
AcronymDefinition
POMIVPartial Order Methods in Verification (workshop)