Pasareanu, Corina S.
Overview
Works: | 0 works in 4 publications in 1 languages |
---|
Titles
Model checking software16th International SPIN Workshop, Grenoble, France, June 26-28, 2009 ; proceedings /
by:
(1998 :); Pasareanu, Corina S.; SpringerLink (Online service)
(Electronic resources)
Software engineering and formal methods19th International Conference, SEFM 2021, virtual event, December 6-10, 2021 : proceedings /
by:
(1998 :); Calinescu, Radu.; Pasareanu, Corina S.; SpringerLink (Online service)
(Electronic resources)
Theoretical aspects of computing - ICTAC 202219th International Colloquium, Tbilisi, Georgia, September 27-29, 2022 : proceedings /
by:
(1998 :); Liu, Zhiming.; Pasareanu, Corina S.; Seidl, Helmut.; SpringerLink (Online service)
(Electronic resources)
Computer aided verification27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015 : proceedings.Part II /
by:
(1998 :); Kroening, Daniel.; Pasareanu, Corina S.; SpringerLink (Online service)
(Electronic resources)
Computer aided verification27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015 : proceedings.Part I /
by:
(1998 :); Kroening, Daniel.; Pasareanu, Corina S.; SpringerLink (Online service)
(Electronic resources)
Subjects
Software Engineering.
Mathematical Logic and Formal Languages.
Software engineering
Theory of Computation.
Logics and Meanings of Programs.
Software Engineering/Programming and Operating Systems.
Computer software
Programming Languages, Compilers, Interpreters.
Formal methods (Computer science)
Computer Science Logic and Foundations of Programming.
Artificial Intelligence.
Computer science
Computer Science.
Computer Systems Organization and Communication Networks.