MPG.eBooks - Search Results - "jasmine"

Search alternatives:
"jasmine" » "jasmin"

Cover Image

1

Interactive Theorem Proving : 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings

Published 2016

Springer International Publishing

Cover Image

2

Automated Reasoning : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings

Published 2022

Springer International Publishing

Cover Image

3

Tests and Proofs : 9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings

Published 2015

Springer International Publishing

Cover Image

4

Rigorous Methods for Software Construction and Analysis : Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday

Published 2009

Springer Berlin Heidelberg

Table of Contents: “...-In Architecture -- JASMine: Accessing Java Code from CoreASM -- A Modular Verification Methodology for C...”

Cover Image

5

Software Process Dynamics and Agility : International Conference on Software Process, ICSP 2007, Minneapolis, MN, USA, May 19-20, 2007, Proceedings

Published 2007

Springer Berlin Heidelberg

Table of Contents: “... and Metrics -- Comparative Experiences with Electronic Process Guide Generator Tools -- Jasmine: A PSP...”