Návrat na podrobnosti článku
FORMÁLNÍ METODY VE VÝVOJI SOFTWARU BEZPEČNOSTNĚ KRITICKÉHO SYSTÉMU
Stáhnout
Stáhnout PDF