by Burdy, Lilian, Déharbe, David, Prun, Étienne
Published in Electronic proceedings in theoretical computer science (27.01.2017)

by Burdy, Lilian, Deharbe, David, Sabatier, Denis
Published in Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

by Burdy, Lilian, Deharbe, David
Published in Abstract State Machines, Alloy, B, TLA, VDM, and Z

by BURDY, Lilian, CHEON, Yoonsik, COK, David R, ERNST, Michael D, KINIRY, Joseph R, LEAVENS, Gary T, LEINO, K. Rustan M, POLL, Erik
Published in International journal on software tools for technology transfer (01.06.2005)

by Ruíz Barradas, Héctor, Burdy, Lilian, Déharbe, David
Published in Rigorous State-Based Methods (01.01.2020)

by Sabatier, Denis, Burdy, Lilian, Requet, Antoine, Guéry, Jérôme
Published in Abstract State Machines, Alloy, B, VDM, and Z

by Burdy, Lilian, Déharbe, David, Prun, Étienne
Published in arXiv.org (30.01.2017)

by Burdy, Lilian, Huisman, Marieke, Pavlova, Mariela
Published in Fundamental Approaches to Software Engineering

by Hoffmann, Sarah, Haugou, Germain, Gabriele, Sophie, Burdy, Lilian
Published in B 2007: Formal Specification and Development in B (2006)

by Barthe, Gilles, Burdy, Lilian, Huisman, Marieke, Lanet, Jean-Louis, Muntean, Traian
Year of Publication 2005

by Barthe, Gilles, Burdy, Lilian, Charles, Julien, Grégoire, Benjamin, Huisman, Marieke, Lanet, Jean-Louis, Pavlova, Mariela, Requet, Antoine
Published in Formal Methods for Components and Objects

by SABATIER, Denis, BURDY, Lilian
Year of Publication 17.06.2020

by SABATIER, Denis, BURDY, Lilian
Year of Publication 18.12.2019

by Lecomte, Thierry, Burdy, Lilian, Leuschel, Michael
Year of Publication 25.10.2012

by SABATIER DENIS, BURDY LILIAN
Year of Publication 13.10.2017

by SABATIER, Denis, BURDY, Lilian
Year of Publication 15.03.2017

by SABATIER DENIS, BURDY LILIAN
Year of Publication 10.03.2017

by Burdy, Lilian, Cheon, Yoonsik, Cok, David, Ernst, Michael D., Kiniry, Joe, Leavens, Gary T., Rustan, K., Leino, M., Poll, Erik
Published in Electronic notes in theoretical computer science (01.08.2003)

Year of Publication 2005

by Lecomte, Thierry, Burdy, Lilian, Leuschel, Michael
Published in arXiv.org (26.10.2012)