Pasareanu, Corina S.
概要
作品: | 0 作品在 4 項出版品 1 種語言 |
---|
書目資訊
Model checking software16th International SPIN Workshop, Grenoble, France, June 26-28, 2009 ; proceedings /
by:
(1998 :); Pasareanu, Corina S.; SpringerLink (Online service)
(書目-電子資源)
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)
(書目-電子資源)
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)
(書目-電子資源)
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)
(書目-電子資源)
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)
(書目-電子資源)
主題
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.