0361331 - ÚI 2012 CZ eng V - Výzkumná zpráva
Rohn, Jiří
VERSOFT: Guide.
Prague: ICS AS CR, 2011. 6 s. Technical Report, V-1118.
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: VERSOFT * verification software * guide
Kód oboru RIV: BA - Obecná matematika
Web výsledku:
http://uivtx.cs.cas.cz/~rohn/matlab http://uivtx.cs.cas.cz/~rohn/matlab/others/index.html
Trvalý link: http://hdl.handle.net/11104/0198669