The following pages link to Maria João. Frade (Q1960261):
Displaying 8 items.
- (Q465683) (redirect page) (← links)
- Verification conditions for source-level imperative programs (Q465685) (← links)
- Rigorous software development. An introduction to program verification. (Q1960262) (← links)
- Variations and interpretations of naturality in call-by-name lambda-calculi with generalized applications (Q2683029) (← links)
- Formalizing Single-Assignment Program Verification: An Adaptation-Complete Approach (Q2802468) (← links)
- A Bounded Model Checker for SPARK Programs (Q3457776) (← links)
- Structural Proof Theory as Rewriting (Q3527295) (← links)
- A verified VCGen based on dynamic logic: an exercise in meta-verification with Why3 (Q6156936) (← links)
