title = { Proof Trick: Small Inversions },
author = {Monin, Jean-Fran\c{c}ois},
month = {July},
year = {2010},
booktitle = {Second Coq Workshop},
address = {Royaume-Uni Edinburgh},
team = {DCS,PACSS},
}
bibtex
@inproceedings{Mon10c,
title = { Proof Trick: Small Inversions },
author = {Monin, Jean-Fran\c{c}ois},
month = {July},
year = {2010},
booktitle = {Second Coq Workshop},
address = {Royaume-Uni Edinburgh},
team = {DCS,PACSS},
}
title = { Proof Trick: Small Inversions },
author = {Monin, Jean-Fran\c{c}ois},
month = {July},
year = {2010},
booktitle = {Second Coq Workshop},
address = {Royaume-Uni Edinburgh},
team = {DCS,PACSS},
}
