Normal view
MARC view
Gustavo Carvalho, Volker Stolz(Personal Name)
Machine generated authority record
Work cat.: (OSt)1651387: Gustavo Carvalho, Volker Stolz, Formal Methods: Foundations and Applications