Păsăreanu, Corina S.
Păsăreanu, Corina S. ca. 20./21. Jhd.
Corina S. Pasareanu Romanian-American computer scientist
VIAF ID: 306122776 ( Personal )
Permalink: http://viaf.org/viaf/306122776
Preferred Forms
- 100 0 _ ‡a Corina S. Pasareanu ‡c Romanian-American computer scientist
-
- 100 1 _ ‡a Păsăreanu, Corina S.
-
- 100 1 _ ‡a Păsăreanu, Corina S.
- 100 1 _ ‡a Păsăreanu, Corina S. ‡d ca. 20./21. Jhd.
-
4xx's: Alternate Name Forms (3)
5xx's: Related Names (2)
Works
Title | Sources |
---|---|
Computer Aided Verification : 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II | |
FACS 2012 | |
Formal aspects of component software : 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012 : revised selected papers | |
Model checking software : 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009 ; proceedings | |
Software engineering and formal methods : 19th international conference, SEFM 2021, virtual event, december 6-10, 2021, proceedings | |
Symbolic Execution and Quantitative Reasoning : Applications to Software Safety and Security | |
Theoretical Aspects of Computing - ICTAC 2022 : 19th International Colloquium, Tbilisi, Georgia, September 27-29, 2022, Proceedings |