Frade, M. J., & Pinto, J. S. (2023). A verified VCGen based on dynamic logic: An exercise in meta-verification with Why3.
Chicago Style CitationFrade, M. J., and Jorge Sousa Pinto. A Verified VCGen Based On Dynamic Logic: An Exercise in Meta-verification With Why3. 2023.
MLA CitationFrade, M. J., and Jorge Sousa Pinto. A Verified VCGen Based On Dynamic Logic: An Exercise in Meta-verification With Why3. 2023.
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.