scientific article; zbMATH DE number 7297901

zbMath1458.68038arXiv1703.07682MaRDI QIDQ5144701

Benjamin Lucien Kaminski, Joost-Pieter Katoen

Publication date: 19 January 2021

Full work available at URL: https://arxiv.org/abs/1703.07682

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Generating functions for probabilistic programs

This page was built for publication: