search result

Cover von Theorem proving in higher order logics
10th international conference : Murray Hill, NJ, USA, August 19 - 22, 1997 : proceedings
Search for this author
Year: 1997
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 1275
Media group: MONOGRAPHIE
Cover von K-LLVM

K-LLVM

A Relatively Complete Semantics of LLVM IR
Year: 2020
Media group: LIPIcs
Cover von Verifying Optimizations for Concurrent Programs

Verifying Optimizations for Concurrent Programs

Year: 2014
Media group: OASICS
Cover von Correspondence assertions for process synchronization in concurrent communications

Correspondence assertions for process synchronization in concurrent communications

article
Author: Bonelli, Eduardo; Compagnoni, Adriana B.; Gunter, Elsa L.
Year: 2005
Media group: ARTICLE
OPEN V 11.1.0.0