APRICOT : a framework for teaching digital systems verification
statement of authorship
Jaan Raik, Maksim Jenihhin, Anton Chepurov, Uljana Reinsalu, Raimund Ubar
location of publication
[S.l.]
publisher
year of publication
pages
p. 172-177 : ill
conference name, date
19th EAEEIE Annual Conference, June 29-July 2, 2008
conference location
Tallinn, Estonia
subject term
ISBN
978-1-4244-2008-7
notes
Bibliogr.: 12 ref
TTÜ department
language
inglise
Raik, J., Jenihhin, M., Tšepurov, A., Reinsalu, U., Ubar, R. APRICOT : a framework for teaching digital systems verification // 19th EAEEIE Annual Conference : June 29-July 2, 2008, Tallinn, Estonia : formal proceedings. [S.l.] : IEEE, 2008. p. 172-177 : ill.