Advanced search

Authors whose works are in public domain in at least one jurisdiction

List of works by Reiner Hähnle

Context, Composition, Automation, and Communication: The C <sup>2</sup> AC Roadmap for Modeling and Simulation

scientific article published on 19 June 2024

Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages

scientific article published on 16 February 2024

Verifying OpenJDK’s Sort Method for Generic Collections

scientific article published on 31 August 2017

Paulina is supported by:

About Paulina

Help