search result

Cover von Computer Aided Verification

Computer Aided Verification

35th International Conference, CAV 2023, Paris, France, July 17 - 22, 2023, Proceedings
2023
Berlin, Springer
Series: Lecture notes in computer science; 13964/13966
Media group: GESAMTWERK
Volumes loading
Cover von Part II.; Computer Aided Verification
35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II
Search for this author
Year: 2023
Publisher: Heidelberg, Springer
Volume: Part II.
Series: Lecture notes in computer science; 13965
Media group: MONOGRAPHIE
Cover von Part III.; Computer Aided Verification
35th International Conference, CAV 2023, Paris, France, July 17 - 22, 2023, Proceedings, Part III
Search for this author
Year: 2023
Publisher: Heidelberg, Springer
Volume: Part III.
Series: Lecture notes in computer science; 13966
Media group: MONOGRAPHIE
Cover von Part I.; Computer Aided Verification
35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I
Search for this author
Year: 2023
Publisher: Heidelberg, Springer
Volume: Part I.
Series: Lecture notes in computer science; 13964
Media group: MONOGRAPHIE
Cover von Verified Software
Theories, Tools and Experiments : 14th International Conference, VSTTE 2022, Trento, Italy, October 17 - 18, 2022, Revised Selected Papers
Search for this author
Year: 2023
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 13800
Media group: MONOGRAPHIE
Cover von Reliable State Machines

Reliable State Machines

A Framework for Programming Reliable Cloud Services
Author: Lal, Akash; Rastogi, Aseem; Krishnaswamy, Raja
Year: 2019
Media group: LIPIcs
Cover von Front Matter, Table of Contents, Preface, Conference Organization, External Reviewers

Front Matter, Table of Contents, Preface, Conference Organization, External Reviewers

Year: 2016
Media group: LIPIcs
Cover von 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science
FSTTCS 2016, December 13 - 15, 2016, Chennai, India
Search for this author
Year: 2016
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 65
Media group: LIPIcs
Cover von Verification, Model Checking, and Abstract Interpretation
16th International Conference, VMCAI 2015, Mumbai, India, January 12 - 14, 2015, Proceedings
Search for this author
Year: 2015
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science : ARCoSS; 8931
Media group: MONOGRAPHIE
OPEN V 11.1.0.0