SSPV

Medical abbreviations:
SSPV

Symposium on Satisfiability Solvers and Program Verification