Forward and Backward Steps in a Fibration (2023)

First Author: Ruben Turkenburg
Attributed to:  Quantitative verification of software families based on coalgebraic modal logic and games funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Publication URI: https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CALCO.2023.6

Type: Conference/Paper/Proceeding/Abstract

Volume: 270

Issue: 6