Cover Image
Read Now

1
Published 2024
Springer Nature Switzerland
“...This book constitutes the proceedings of the First International Conference on Bridging the Gap...”
Cover Image
Read Now

2
Published 2022
Springer International Publishing
Table of Contents: “...Specify This - Bridging gaps between program specification paradigms -- X-by-Construction Meets...”
Cover Image
Read Now

3
Published 2018
Springer International Publishing
Table of Contents: “... for Concurrency -- Formal Methods in Industrial Practice - bridging the gap (Track Summary) -- Model-based Testing...”
Cover Image
Read Now

4
Published 2018
Springer International Publishing
Table of Contents: “...-Descriptive Hardware Devices – Bridging the Reality Gap -- The Meaning of Adaptation: Mastering the Unforeseen...”
Cover Image
Read Now

5
Published 2022
Springer Nature Switzerland
“... are organized according to the following topical sections: specify this - bridging gaps between program...”
Cover Image
Read Now

6
Published 2022
Springer Nature Switzerland
“... are organized according to the following topical sections: specify this - bridging gaps between program...”
Cover Image
Read Now

7
Published 2022
Springer Nature Switzerland
“... are organized according to the following topical sections: specify this - bridging gaps between program...”
Cover Image
Read Now

8
Published 2018
Springer International Publishing
“...; formal methods in industrial practice - bridging the gap; reliable smart contracts: state-of-the-art...”
Cover Image
Read Now

9
Published 2018
Springer International Publishing
“...; formal methods in industrial practice - bridging the gap; reliable smart contracts: state-of-the-art...”