> KBSS
> STILL
> IDA
> AIC
Š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.