Herencia-Zapana, Heber, Lopez, James, Gallagher, Glen, Meng, Baoluo, Patterson, Cameron, and Maalolan, Lakshman. Formal Verification Tool Evaluation For Unmanned Aircraft Containing Complex Functions. Retrieved from https://par.nsf.gov/biblio/10215462. 2020 AIAA/IEEE 39th Digital Avionics Systems Conference (DASC) . Web. doi:10.1109/DASC50938.2020.9256529.

Herencia-Zapana, Heber, Lopez, James, Gallagher, Glen, Meng, Baoluo, Patterson, Cameron, & Maalolan, Lakshman. Formal Verification Tool Evaluation For Unmanned Aircraft Containing Complex Functions. 2020 AIAA/IEEE 39th Digital Avionics Systems Conference (DASC), (). Retrieved from https://par.nsf.gov/biblio/10215462. https://doi.org/10.1109/DASC50938.2020.9256529

Herencia-Zapana, Heber, Lopez, James, Gallagher, Glen, Meng, Baoluo, Patterson, Cameron, and Maalolan, Lakshman. "Formal Verification Tool Evaluation For Unmanned Aircraft Containing Complex Functions". 2020 AIAA/IEEE 39th Digital Avionics Systems Conference (DASC) (). Country unknown/Code not available. https://doi.org/10.1109/DASC50938.2020.9256529. https://par.nsf.gov/biblio/10215462.

@article{osti_10215462,
place = {Country unknown/Code not available}, title = {Formal Verification Tool Evaluation For Unmanned Aircraft Containing Complex Functions}, url = {https://par.nsf.gov/biblio/10215462}, DOI = {10.1109/DASC50938.2020.9256529}, abstractNote = {}, journal = {2020 AIAA/IEEE 39th Digital Avionics Systems Conference (DASC)}, author = {Herencia-Zapana, Heber and Lopez, James and Gallagher, Glen and Meng, Baoluo and Patterson, Cameron and Maalolan, Lakshman}, editor = {null} }