Pasareanu, Corina S.
概要
| 作品: | 2 作品在 3 項出版品 1 種語言 | |
|---|---|---|
書目資訊
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.
(書目-語言資料,印刷品)
, [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 :)
(書目-語言資料,印刷品)
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.
(書目-語言資料,印刷品)
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)
(書目-語言資料,印刷品)
主題
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.