Thirty-Seven Years of Relational Hoare Logic: Remarks on Its Principles and History

von Naumann, David A.
Veröffentlicht in ISoLA (9. : 2020 : Online) Leveraging applications of formal methods, verification and validation ; Part 2: Engineering principles (2020)

Unifying theories of programming : 5th international Symposium, UTP 2014, Singapore, May 13, 2014 ; revised selected papers

Veröffentlicht 2015

Type-Based Declassification for Free

von Ngo, Minh
Veröffentlicht in ICFEM (22. : 2021 : Singapur) Formal methods and software engineering (2021)

Projekt "Entwicklung einer Fluidenergiemaschine zum temperierten Transport von Frischwasser" : Schlussbericht zum Verbundvorhaben "Die Technologien für eine energieautarke, intel...

von Thamsen, Paul Uwe
Veröffentlicht 30042015

Sektorkopplung : was ist darunter zu verstehen?

von Wietschel, Martin
Veröffentlicht in Zeitschrift für Energiewirtschaft (2019)