Maria João Frade

Available identifiers

Publication	Date of Publication	Type
A verified VCGen based on dynamic logic: an exercise in meta-verification with Why3	2023-06-19	Paper
Variations and interpretations of naturality in call-by-name lambda-calculi with generalized applications	2023-02-03	Paper
Formalizing Single-Assignment Program Verification: An Adaptation-Complete Approach	2016-04-26	Paper
A bounded model checker for SPARK programs	2015-12-17	Paper
Verification conditions for source-level imperative programs	2014-10-24	Paper
Rigorous software development. An introduction to program verification.	2010-10-13	Paper
Structural Proof Theory as Rewriting	2008-09-25	Paper

This page was built for person: Maria João Frade