Descripción
|
|
---|---|
Invited tutorial at Dagstuhl Seminar on Resource Bound Analysis. Schloss Dagstuhl, Germany. July 2017. | |
Internacional
|
Si |
Entidad
|
Schloss Dagstuhl |
Lugar
|
Germany |
Páginas
|
|
Referencia/URL
|
http://materials.dagstuhl.de/files/17/17291/17291.ManuelHermenegildo1.Slides.pdf |
Tipo de publicación
|
Invited tutorial |