Flávio L. C. de Moura

@inproceedings{fmm2021,
   title = {A formalization of the (compositional) z property},
   url = {https://cicm-conference.org/2021/cicm.php?event=fmm&menu=general},
   booktitle = {Fifth workshop on formal mathematics for mathematicians},
   author = {de Moura, Flávio L. C. and Rezende, Leandro O.},
   year = {2021}}

Email: flaviomoura@unb.br, flavio@flaviomoura.info

Created: 2021-11-06 sáb 14:32

Validate