B
alazs
T
oth
E-Mails 📧
ed
.
mut
@
htot
.
szalab
ed
.
uml
@
htot
.
szalab
Entries
2024
A Modular Formalization of Superposition
by
Martin Desharnais
📧
and
Balazs Toth
📧
Oct 24
2022
Real-Time Double-Ended Queue
by
Balazs Toth
📧
and
Tobias Nipkow
🌐
Jun 23