Pasareanu, Corina S.
Overview
| Works: | 2 works in 3 publications in 1 languages | |
|---|---|---|
Titles
Theoretical Aspects of Computing – ICTAC 2022 = 19th International Colloquium, Tbilisi, Georgia, September 27–29, 2022, Proceedings /
by:
Pasareanu, Corina S.; Seidl, Helmut.; SpringerLink (Online service); Liu, Zhiming.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Computer aided verification = 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015 : proceedings.. Part II /
by:
SpringerLink (Online service); Pasareanu, Corina S.; Kroening, Daniel.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(Language materials, printed)
Formal aspects of component software = 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012 : revised selected papers /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service); Salaun, Gwen.; Pasareanu, Corina S.
(Language materials, printed)
Computer aided verification = 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015 : proceedings.. Part I /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Kroening, Daniel.; Pasareanu, Corina S.; SpringerLink (Online service)
(Language materials, printed)
Subjects
Software Engineering.
Formal methods (Computer science)
Software Engineering/Programming and Operating Systems.
Computer Science.
Programming Techniques.
Computer Systems Organization and Communication Networks.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Component software
Management of Computing and Information Systems.
Computer science.
Programming Languages, Compilers, Interpreters.
Computer software
Computer Science Logic and Foundations of Programming.