Export
APA
Ferreira, F., (2015). Spector’s proof of the consistency of analysis. , 278-300
IEEE
Ferreira, F., "Spector’s proof of the consistency of analysis" in , , 2015, pp. 278-300,
doi: 10.1007/978-3-319-10103-3_11
BIBTEX
@InProceedings{22972,
author = {Ferreira, F.},
title = {Spector’s proof of the consistency of analysis},
booktitle = {},
year = 2015,
pages = {278-300},
address = {},
publisher = {}
}