APA Citation

Moreira, G., Vasconcellos, C. D., & Kniess, J. (2022). Fully-Tested code generation from TLA+ specifications.

Chicago Style Citation

Moreira, Gabriela, Cristiano Damiani Vasconcellos, and Janine Kniess. Fully-Tested Code Generation From TLA+ Specifications. 2022.

MLA Citation

Moreira, Gabriela, Cristiano Damiani Vasconcellos, and Janine Kniess. Fully-Tested Code Generation From TLA+ Specifications. 2022.

Note: citation formatting may not correspond 100% to that defined by the respective standard, to manage citations it is recommended to use the software Zotero , which allows the automatic upload of Oasisbr references.