"Jean-Christophe Léchenet" appeared in Books and Chapters

Click here to donate your five minutes and submit the table of contents of a book.

Search from the table of contents of 2.5 million books

Advanced Search (Beta)

Home > Jean-Christophe Léchenet

"Jean-Christophe Léchenet" appeared in Books and Chapters

entries per page

Filter:

Showing 0 to 0 of 0 entries

Book	Author(s)	Year	Publisher
No data available in table
Boook	Author(s)	Year	Publisher

Showing 0 to 0 of 0 entries

«
‹
›
»

entries per page

Filter:

Showing 1 to 3 of 3 entries

Chapter	Author(s)	Book	Book Authors	Year	Publisher
A Fast Verified Liveness Analysis in SSA Form	Jean-Christophe Léchenet; Sandrine Blazy; David Pichardie	Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part II	Nicolas Peltier; Viorica Sofronie-Stokkermans	1st ed. 2020	Springer International Publishing
Cut Branches Before Looking for Bugs: Sound Verification on Relaxed Slices	Jean-Christophe Léchenet; Nikolai Kosmatov; Pascale Le Gall	Fundamental Approaches to Software Engineering: 19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings	Perdita Stevens; Andrzej Wąsowski	1st ed. 2016	Springer Berlin Heidelberg
Fast Computation of Arbitrary Control Dependencies	Jean-Christophe Léchenet; Nikolai Kosmatov; Pascale Le Gall	Fundamental Approaches to Software Engineering: 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings	Alessandra Russo; Andy Schürr	1st ed. 2018	Springer International Publishing
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 3 of 3 entries

«
‹
1
›
»