Hendrik Kausch

1 book • 1 series

May 15, 2020
Cover of Towards an Isabelle Theory for distributed, interactive systems

Towards an Isabelle Theory for distributed, interactive systems (Aachener Informatik-Berichte, Software Engineering, #45)