Federico Flaviani. Inference of the Definition of the Predicate Transformer wp with Occurrences of the Predicate Domain Based on Denotational Semantics of GCL on ZF Set Theory. In XLIV Latin American Computer Conference, CLEI 2018, São Paulo, Brazil, October 1-5, 2018. pages 749-758, IEEE, 2018. [doi]
@inproceedings{Flaviani18-0,
title = {Inference of the Definition of the Predicate Transformer wp with Occurrences of the Predicate Domain Based on Denotational Semantics of GCL on ZF Set Theory},
author = {Federico Flaviani},
year = {2018},
doi = {10.1109/CLEI.2018.00095},
url = {https://doi.org/10.1109/CLEI.2018.00095},
researchr = {https://researchr.org/publication/Flaviani18-0},
cites = {0},
citedby = {0},
pages = {749-758},
booktitle = {XLIV Latin American Computer Conference, CLEI 2018, São Paulo, Brazil, October 1-5, 2018},
publisher = {IEEE},
isbn = {978-1-7281-0437-9},
}