Foundations of software science and computational structures : 15th International conference, FOSSACS 2012, held as part of the European Joint Conferences on Theory and Practice...

Veröffentlicht 2012

Aneris: A Mechanised Logic for Modular Reasoning about Distributed Systems

von Krogh-Jespersen, Morten
Veröffentlicht in ESOP (29. : 2020 : Online) Programming languages and systems (2020)

Recent developments in domain theory : a collection of papers in honour of Dana S. Scott ; [Most of the papers ... presented at either the Workshop on Domain Theory in Honour of...

Veröffentlicht 2004