Hervé Grall. Proving Fixed Points. In Luigi Santocanale, editor, 7th Workshop on Fixed Points in Computer Science, FICS 2010, Brno, Czech Republic, August 21-22, 2010. pages 41-46, Laboratoire d'Informatique Fondamentale de Marseille, 2010. [doi]
@inproceedings{Grall10,
title = {Proving Fixed Points},
author = {Hervé Grall},
year = {2010},
url = {https://hal.archives-ouvertes.fr/hal-00512377/document#page=42},
researchr = {https://researchr.org/publication/Grall10},
cites = {0},
citedby = {0},
pages = {41-46},
booktitle = {7th Workshop on Fixed Points in Computer Science, FICS 2010, Brno, Czech Republic, August 21-22, 2010},
editor = {Luigi Santocanale},
publisher = {Laboratoire d'Informatique Fondamentale de Marseille},
}