Cargando…
Computer aided verification: 27th international conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, proceedings, part II
| Autores principales: | , |
|---|---|
| Lenguaje: | eng |
| Publicado: |
Springer International Publishing AG
2015
|
| Materias: | |
| Acceso en línea: | http://cds.cern.ch/record/2761211 |
| _version_ | 1780970470113280000 |
|---|---|
| author | Kroening, Daniel Păsăreanu, Corina S |
| author_facet | Kroening, Daniel Păsăreanu, Corina S |
| author_sort | Kroening, Daniel |
| collection | CERN |
| id | cern-2761211 |
| institution | Organización Europea para la Investigación Nuclear |
| language | eng |
| publishDate | 2015 |
| publisher | Springer International Publishing AG |
| record_format | invenio |
| spelling | cern-27612112021-04-21T16:39:49Zhttp://cds.cern.ch/record/2761211engKroening, DanielPăsăreanu, Corina SComputer aided verification: 27th international conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, proceedings, part IIXXSpringer International Publishing AGoai:cds.cern.ch:27612112015 |
| spellingShingle | XX Kroening, Daniel Păsăreanu, Corina S Computer aided verification: 27th international conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, proceedings, part II |
| title | Computer aided verification: 27th international conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, proceedings, part II |
| title_full | Computer aided verification: 27th international conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, proceedings, part II |
| title_fullStr | Computer aided verification: 27th international conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, proceedings, part II |
| title_full_unstemmed | Computer aided verification: 27th international conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, proceedings, part II |
| title_short | Computer aided verification: 27th international conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, proceedings, part II |
| title_sort | computer aided verification: 27th international conference, cav 2015, san francisco, ca, usa, july 18-24, 2015, proceedings, part ii |
| topic | XX |
| url | http://cds.cern.ch/record/2761211 |
| work_keys_str_mv | AT kroeningdaniel computeraidedverification27thinternationalconferencecav2015sanfranciscocausajuly18242015proceedingspartii AT pasareanucorinas computeraidedverification27thinternationalconferencecav2015sanfranciscocausajuly18242015proceedingspartii |