Languages
Gopalakrishnan, Ganesh.
Overview
| Works: | 2 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Theorem proving in higher order logics = 17th international conference, TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004 : proceedings /
by:
Slind, Konrad.; Workshop on the Preservation of Stability under Discretization ((2001 :); Bunker, Annette.; SpringerLink (Online service); Gopalakrishnan, Ganesh.
(Language materials, printed)
Computer aided verification = 23rd international conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011 : proceedings /
by:
Qadeer, Shaz.; Workshop on the Preservation of Stability under Discretization ((2001 :); Gopalakrishnan, Ganesh.; SpringerLink (Online service)
(Language materials, printed)
Subjects