bibliographer - Kristin Yvonne Rozier

bibliographer a curated TCS bibliography

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

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]

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

[show logs] [hide logs]