scientific article; zbMATH DE number 7204554
From MaRDI portal
Publication:5111434
DOI10.4230/LIPIcs.ICALP.2017.102zbMath1442.68100MaRDI QIDQ5111434
Thomas Espitau, Tetsuya Sato, Pierre-Yves Strub, Gilles Barthe, Justin Hsu
Publication date: 27 May 2020
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Privacy of data (68P27)
Related Items (2)
Strassen's theorem for quantum couplings ⋮ A mechanized proof of the max-flow min-cut theorem for countable networks with applications to probability theory
This page was built for publication:
