(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
| TACAS 2018
|
24th European Joint Conferences on Theory and Practice of Software
|
| Event in series
|
TACAS
|
| Dates
|
2018/04/14 (iCal) - 2018/04/20
|
| Location
|
| Location:
|
Thessaloniki, Greece
|
Loading map... {"minzoom":false,"maxzoom":false,"mappingservice":"leaflet","width":"280px","height":"280px","centre":false,"title":"","label":"","icon":"","lines":[],"polygons":[],"circles":[],"rectangles":[],"copycoords":false,"static":false,"zoom":false,"defzoom":14,"layers":["OpenStreetMap"],"image layers":[],"overlays":[],"resizable":false,"fullscreen":false,"scrollwheelzoom":true,"cluster":false,"clustermaxzoom":20,"clusterzoomonclick":true,"clustermaxradius":80,"clusterspiderfy":true,"geojson":"","clicktarget":"","imageLayers":[],"locations":[{"text":"","title":"","link":"","lat":40.6403167,"lon":22.9352716,"icon":""}],"imageoverlays":null}
|
|
|
| Table of Contents
|
|
|
|
|
Event
24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I. Lecture Notes in Computer Science 10805, Springer 2018, ISBN 978-3-319-89959-6