Cover Image
Read Now

2
Published 2017
Springer Berlin Heidelberg
Table of Contents: “...On Optimization Modulo Theories, MaxSMT and Sorting Networks. - The automatic detection of token...”
Cover Image
Read Now

5
Published 2016
Springer International Publishing
Table of Contents: “... -- Towards Functional Requirements Analytics -- Heterogeneous Semantics and Unifying Theories -- Static...”
Cover Image
Read Now

6
Published 2016
Springer International Publishing
Subjects: “...Formal Languages and Automata Theory...”
Cover Image
Read Now

7
Published 2019
Springer International Publishing
Subjects: “...Formal Languages and Automata Theory...”
Cover Image
Read Now

8
Published 2020
Springer International Publishing
Table of Contents: “... at the Virtual Machine Level -- Compiling Quantitative Type Theory to Michelson for Compile-Time Verification...”
Cover Image
Read Now

9
Published 2022
Springer International Publishing
Subjects: “...Formal Languages and Automata Theory...”
Cover Image
Read Now

10
Published 2022
Springer Nature Switzerland
Subjects: “...Data Structures and Information Theory...”
Cover Image
Read Now

11
Published 2008
Springer Berlin Heidelberg
Table of Contents: “... -- Trustworthy Computing: Theories, Methods, Tools and Experience in China and South East Asia -- ASERE: Assuring...”
Cover Image
Read Now

14
Published 2012
Springer Berlin Heidelberg
Table of Contents: “...-Sports: The Challenge of Small Margin Healthcare Accounting.- Timing Constraints: Theory Meets Practice...”
Cover Image
Read Now

15
Published 2018
Springer International Publishing
Table of Contents: “... Approach to Support Large-Scale Deductive Program Verification -- Type Theory as a Framework for Modelling...”
Cover Image
Read Now

17
Published 2018
Springer International Publishing
Table of Contents: “...RV-TheToP: Runtime Verification from the Theory To the industry Practice (Track Introduction...”