Languages
Kuncak, Viktor.
Overview
Works: | 1 works in 1 publications in 1 languages |
---|
Titles
Verification, model checking, and abstract = 13th international conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012 : proceedings /
by:
Congress on Progress and Controversies in Oncological Urology (2000:); Rybalchenko, Andrey.; SpringerLink (Online service); Kuncak, Viktor.
(Electronic resources)