SSPV

Medical abbreviations:
SSPV

Satisfiability Solvers and Program Verification