A Taxonomy of Hoare-Like Logics: Towards a Holistic View using Predicate Transformers and Kleene Algebras with Top and Tests - RWTH Publications

A Taxonomy of Hoare-Like Logics: Towards a Holistic View using Predicate Transformers and Kleene Algebras with Top and Tests - RWTH-2026-01870

Main document file(s):

Similar records

RWTH

RWTH Aachen - Startseite

Universitätsbibliothek

Kontakt

RWTH Publications

Allgemeines