Bibtex de la publication

@InProceedings{ Le2017.6,
author = {Le Roux, St├ęphane and Martin-Dorel, Erik and Smaus, Jan-Georg},
title = "{An Existence Theorem of Nash Equilibrium in Coq and Isabelle (regular paper)}",
booktitle = "{International Symposium on Games, Automata, Logics, and Formal Verification (GandALF), Rome, Italie, 20/09/2017-22/09/2017}",
year = {2017},
month = {septembre},
publisher = {Electronic Proceedings in Theoretical Computer Science},
address = {http://about.eptcs.org/},
volume = {256},
pages = {46--60},
language = {anglais},
URL = {http://dx.doi.org/10.4204/EPTCS.256.4}
}