Towards an Isabelle Theory for distributed, interactive systems : the untimed case

Bürger, Jens Christoph; Kausch, Hendrik; Raco, Deni; Ringert, Jan Oliver; Rumpe, Bernhard; Stüber, Sebastian Wolfram; Wiartalla, Marc Oliver

Düren : Shaker Verlag (2020, 2022)
Book, Report (ResearchPaper)

In: Aachener Informatik-Berichte, Software-Engineering 45
Page(s)/Article-Nr.: 254 Seiten