Search Results - "Lepiller, Julien" :: K.UTB vyhledávací portál

Modular Software Fault Isolation as Abstract Interpretation

by Besson, Frédéric, Jensen, Thomas, Lepiller, Julien
Published in Static Analysis (2018)

Get full text

Book Chapter

by Courant, Nathanaëlle, Lepiller, Julien, Scherer, Gabriel
Published in The Art, Science, and Engineering of Programming (18.02.2022)

Get full text

Journal Article

by Courant, Nathanaëlle, Lepiller, Julien, Scherer, Gabriel
Published in arXiv.org (18.02.2022)

Get full text

Paper Journal Article