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.