SAVS: Semi-Autonomous Verification System

Štěpán, P., Faigl, J., Přeučil, L., Krajník, T.

ŠTĚPÁN, P., et al. SAVS: Semi-Autonomous Verification System. [Software] 2007.