bibliographer - Hubert Garavel

bibliographer a curated TCS bibliography

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

The 2020 Expert Survey on Formal Methods Hubert Garavel Maurice H. ter Beek Jaco van de Pol [github]

Formal Methods in Industry Maurice ter Beek Rod Chapman Rance Cleaveland Hubert Garavel Rong Gu Ivo ter Horst Jeroen Keiren Thierry Lecomte Michael Leuschel Kristin Yvonne Rozier Augusto Sampaio Cristina Seceleanu Martyn Thomas Tim Willemse Lijun Zhang [github]

CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes Hubert Garavel Frédéric Lang Radu Mateescu Wendelin Serwe [github]

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

[show logs] [hide logs]