Number of the records: 1

VERSOFT: Guide

SYSNO	0361331
Title	VERSOFT: Guide
Author info	aut. Jiří Rohn
Author(s)	Rohn, Jiří (UIVT-O)_{SAI, RID, ORCID}
Issue data	Prague: ICS AS CR, 2011
Edition	Technical Report , V-1118
Document Type	Výzkumná zpráva
CEZ	AV0Z10300504 - UIVT-O (2005-2011)
Language	eng
Country	CZ
Keywords	VERSOFT * verification software * guide
URL	http://uivtx.cs.cas.cz/~rohn/matlab http://uivtx.cs.cas.cz/~rohn/matlab/others/index.html
Permanent Link	http://hdl.handle.net/11104/0198669

	File	Download	Size	Commentary	Version	Access
	v1118-11.pdf	18	138.9 KB		Other	open-access

Number of the records: 1