Suchergebnisse Stüber, Sebastian

Formal Software Engineering of Distributed Systems using Focus-Streams and Autom

Stüber, Sebastian

Towards an Isabelle Theory for distributed, interactive systems

Stüber, Sebastian

ZUM ANFANG