Languages
Emerson, E. Allen.
Overview
Works: | 1 works in 1 publications in 1 languages |
---|
Titles
Verification, model checking, and abstract interpretation7th international conference, VMCAI 2006, Charleston, SC, USA, january 8-10, 2006 : proceedings /
by:
(1998 :); Emerson, E. Allen.; Namjoshi, Kedar S.; SpringerLink (Online service)
(Language materials, printed)
Visual Information and Information Systems8th International Conference, VISUAL 2005, Amsterdam, The Netherlands, July 5, 2005, Revised Selected Papers /
by:
(1998 :); Bres, Stephane.; Emerson, E. Allen.; Laurini, Robert.; SpringerLink (Online service)
(Electronic resources)
Computer aided verification12th international conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000 ;proceedings /
by:
(1998 :); Emerson, E. Allen.; Sistla, A. Prasad.; SpringerLink (Online service)
(Electronic resources)
Subjects
Image Processing and Computer Vision.
Software Engineering.
Information display systems
Logics and Meanings of Programs.
Database Management.
Computer software
Information Storage and Retrieval.
Programming Languages, Compilers, Interpreters.
Information Systems Applications (incl.Internet)
Computer Imaging, Vision, Pattern Recognition and Graphics.
Computer programs
Computer Science.
Integrated circuits