Păsăreanu, Corina S.
Overview
| Works: | 1 works in 0 publications in 0 languages | |
|---|---|---|
Titles
Software Engineering and Formal Methods = 19th International Conference, SEFM 2021, Virtual Event, December 6–10, 2021, Proceedings /
by:
Păsăreanu, Corina S.; SpringerLink (Online service); Calinescu, Radu.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Software Engineering and Formal Methods = 19th International Conference, SEFM 2021, Virtual Event, December 6–10, 2021, Proceedings /
by:
Păsăreanu, Corina S.; SpringerLink (Online service); Calinescu, Radu.
(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:
Kroening, Daniel.; SpringerLink (Online service); Păsăreanu, Corina S.
(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 I /
by:
Păsăreanu, Corina S.; Kroening, Daniel.; SpringerLink (Online service)
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Subjects
Mathematical logic.
Software Engineering.
Computer organization.
Software Engineering/Programming and Operating Systems.
Computer logic.
Artificial intelligence.
Software engineering.
Theory of Computation.
Computer Systems Organization and Communication Networks.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Artificial Intelligence.
Computer science.
Computers.