bibliographer - Peter Müller

bibliographer a curated TCS bibliography

obsidian
tags
authors
no doi
no pdf
bad author
add item
librarian

On Formal Methods Thinking in Computer Science Education Brijesh Dongol Catherine Dubois Stefan Hallerstede Eric Hehner Carroll Morgan Peter Müller Leila Ribeiro Alexandra Silva Graeme Smith Erik de Vink [github]

Viper: A Verification Infrastructure for Permission-Based Reasoning Peter Müller Malte Schwerhoff Alexander J. Summers [github]

Diagnostic Information for Control-Flow Analysis of Workflow Graphs (a.k.a. Free-Choice Workflow Nets) Cédric Favre Hagen Völzer Peter Müller [github]

Library Size: 13G (3 entries), Last Updated: Apr 04, 2026, 18:14:59, Build Time: N/A

[show logs] [hide logs]