Alfio Ricardo de Brito Martini

Publication Activity (10 Years)

Years Active: 2020-2022
Publications (10 Years): 2

Top Topics

Higher Order Logic

Logical Framework

Top Venues

Math. Struct. Comput. Sci.

Technical University of Berlin, Germany (PHD)

Education History

Technical University of Berlin, Germany

PHD

Publications

Uwe Wolter, Alfio Ricardo de Brito Martini, Edward Hermann Haeusler
Indexed and fibered structures for partial and total correctness assertions. Math. Struct. Comput. Sci. 32 (9) (2022)
Alfio Ricardo de Brito Martini
Reasoning about Partial Correctness Assertions in Isabelle/HOL. RITA 27 (3) (2020)