APA (7th ed.) Citation

Nini, J. F. S. (2025). Formal Verification of Programs Equivalence.

Chicago Style (17th ed.) Citation

Nini, João Francisco Serrenho. Formal Verification of Programs Equivalence. 2025.

MLA (9th ed.) Citation

Nini, João Francisco Serrenho. Formal Verification of Programs Equivalence. 2025.

Warning: These citations may not always be 100% accurate.