@INPROCEEDINGS {35046,
author={B. A. Ferreira and J.C. Cederquist and A. Matos and H. P. Paulino and A.R. Ravara},
doi={},
booktitle={Inforum - Simpósio de Informática},
title={Mechanization of a Type System for Atomicity Analysis and its Type Safety},
year={2019},
month={September},
volume={},
pages={-} 
}
Create and download bib file