Languages
Qadeer, Shaz.
Overview
Works: | 1 works in 1 publications in 1 languages |
---|
Titles
Computer aided verification = 23rd international conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011 : proceedings /
by:
SpringerLink (Online service); Qadeer, Shaz.; Congress on Progress and Controversies in Oncological Urology (2000:); Gopalakrishnan, Ganesh.
(Electronic resources)
Subjects