Size Invariant and Ranking Function Synthesisin a Functional Language
- Ricardo Peña 1
- Agustin D. Delgado-Muñoz 1
- 1 Universidad Complutense de Madrid, Spain
- Herbert Kuchen (coord.)
Argitaletxea: Springer Alemania
ISBN: 978-3-642-22531-4, 978-3-642-22530-7
Argitalpen urtea: 2011
Orrialdeak: 52-67
Biltzarra: WFLP (20. 2011. Odense)
Mota: Biltzar ekarpena