Work

A Deductive Proof System for Multithreaded Java with Exceptions

Year: 2008

Type: report

Source: Multimedialen Archiv und Publikationsserver der Christian-Albrechts-Universität zu Kiel (Christian-Albrechts-Universität zu Kiel)

DOI: 10.5555/1366982.1366987

Authors: Erika Ábrahám, Frank S. de Boer, Willem-Paul de Roever, Martín Steffen

Institutions: University of Freiburg, Centrum Wiskunde & Informatica, Christian-Albrechts-Universität zu Kiel, University of Oslo

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2103237096

Cites: 48

Cited by: 4

Related to: 10