bibliographer - Brijesh Dongol

bibliographer a curated TCS bibliography

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

The Role of Formal Methods in Computer Science Education Maurice ter Beek Manfred Broy Brijesh Dongol [github]

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]

Library Size: 13G (2 entries), Last Updated: Apr 05, 2026, 08:41:35, Build Time: N/A

[show logs] [hide logs]