Rajamani, Sriram K.
Overview
Works: | 1 works in 0 publications in 0 languages |
---|
Titles
Verified softwaretheories, tools, experiments : Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, proceedings /
by:
(1998 :); Leavens, Gary T.; O'Hearn, Peter.; Rajamani, Sriram K.; SpringerLink (Online service)
(Electronic resources)
Computer Aided Verification17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings /
by:
(1998 :); Etessami, Kousha.; Rajamani, Sriram K.; SpringerLink (Online service)
(Electronic resources)
Subjects
Mathematical Logic and Formal Languages.
Software Engineering.
Logics and Meanings of Programs.
Computer software
Electronic digital computers
Artificial Intelligence (incl. Robotics)
Programming Techniques.
Logic Design.
Programming Languages, Compilers, Interpreters.
Computer Science.
Integrated circuits