search result

Cover von Numerical Software Verification
12th International Workshop, NSV 2019, New York City, NY, USA, July 13 - 14, 2019, Proceedings
Search for this author
Year: 2019
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 11652
Media group: MONOGRAPHIE
Cover von Verification, Model Checking, and Abstract Interpretation
21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16-21, 2020, Proceedings
Search for this author
Year: 2020
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 11990
Media group: MONOGRAPHIE
Cover von The Need for Language Support for Fault-Tolerant Distributed Systems

The Need for Language Support for Fault-Tolerant Distributed Systems

Year: 2015
Media group: LIPIcs
Cover von Generalising Projection in Asynchronous Multiparty Session Types

Generalising Projection in Asynchronous Multiparty Session Types

Year: 2021
Media group: LIPIcs
Cover von Motion Session Types for Robotic Interactions (Brave New Idea Paper)

Motion Session Types for Robotic Interactions (Brave New Idea Paper)

Year: 2019
Media group: LIPIcs
OPEN V 11.1.0.0