Gopalakrishnan, Ganesh.
Overview
Works: | 1 works in 1 publications in 1 languages |
---|
Titles
Computer aided verification23rd international conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011 : proceedings /
by:
(1998 :); Gopalakrishnan, Ganesh.; Qadeer, Shaz.; SpringerLink (Online service)
(Electronic resources)
Computation Engineering :Applied Automata Theory and Logic /
by:
Gopalakrishnan, Ganesh.
(Electronic resources)
Theorem proving in higher order logics17th international conference, TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004 : proceedings /
by:
(1998 :); Bunker, Annette.; Gopalakrishnan, Ganesh.; Slind, Konrad.; SpringerLink (Online service)
(Electronic resources)
Formal methods in computer-aided designsecond international conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998 : proceedings /
by:
(1998 :); Gopalakrishnan, Ganesh.; SpringerLink (Online service); Windley, Phillip.
(Electronic resources)
Subjects
Electronic and Computer Engineering
Software Engineering.
Mathematical Logic and Formal Languages.
Systems engineering
Logics and Meanings of Programs.
Circuits and Systems
Automatic theorem proving
Computer software
Electronic digital computers
Programming Techniques.
Artificial Intelligence (incl. Robotics)
Computer Science
Formal methods (Computer science)
Digital integrated circuits
Programming Languages, Compilers, Interpreters.
Computer science
Theory of Computation
Mathematical Logic and Formal Languages
Computer Science.
Information theory
Computer engineering
Integrated circuits