by Kirchner, Florent, Kosmatov, Nikolai, Prevosto, Virgile, Signoles, Julien, Yakobowski, Boris
Published in Formal aspects of computing (01.05.2015)

by Cuoq, Pascal, Kirchner, Florent, Kosmatov, Nikolai, Prevosto, Virgile, Signoles, Julien, Yakobowski, Boris
Published in Software Engineering and Formal Methods

by Dubois, Catherine, Prevosto, Virgile, Burel, Guillaume
Published in FMTea 2019: Formal Methods Teaching (01.01.2019)

by Robles, Virgile, Kosmatov, Nikolai, Prevosto, Virgile, Rilling, Louis, Le Gall, Pascale
Published in Tests and Proofs

by Boudhiba, Imen, Gaston, Christophe, Le Gall, Pascale, Prevosto, Virgile
Published in Testing Software and Systems

by Prevosto, Virgile, Doligez, Damien
Published in Journal of automated reasoning (01.09.2002)

by de Oliveira, Steven, Bensalem, Saddek, Prevosto, Virgile
Published in Automated Technology for Verification and Analysis

by Blatter, Lionel, Kosmatov, Nikolai, Prevosto, Virgile, Le Gall, Pascale
Published in Integrated Formal Methods

by Monahan, Rosemary, Prevosto, Virgile, Proença, José
Published in Electronic proceedings in theoretical computer science (23.12.2019)

by Masci, Paolo, Monahan, Rosemary, Prevosto, Virgile
Published in Electronic proceedings in theoretical computer science (27.11.2018)

by de Oliveira, Steven, Prevosto, Virgile, Habermehl, Peter, Bensalem, Saddek
Published in Reachability Problems (01.01.2018)

by Marcozzi, Michaël, Bardin, Sébastien, Kosmatov, Nikolai, Papadakis, Mike, Prevosto, Virgile, Correnson, Loïc
Published in 2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE) (27.05.2018)

by de Oliveira, Steven, Bensalem, Saddek, Prevosto, Virgile
Published in Automated Technology for Verification and Analysis

by Blatter, Lionel, Kosmatov, Nikolai, Prevosto, Virgile, Le Gall, Pascale
Published in Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles

by Blatter, Lionel, Kosmatov, Nikolai, Le Gall, Pascale, Prevosto, Virgile, Petiot, Guillaume
Published in Tests and Proofs

by Gauthier, Louis, Prevosto, Virgile, Signoles, Julien
Published in 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE) (14.04.2024)

by Blatter, Lionel, Kosmatov, Nikolai, Le Gall, Pascale, Prevosto, Virgile
Published in Tools and Algorithms for the Construction and Analysis of Systems

by Boudhiba, Imen, Gaston, Christophe, Gall, Pascale Le, Prevosto, Virgile
Published in Tests and Proofs

by Cuoq, Pascal, Monate, Benjamin, Pacalet, Anne, Prevosto, Virgile
Published in International journal on software tools for technology transfer (01.10.2011)

by Blatter, Lionel, Kosmatov, Nikolai, Prevosto, Virgile, Gall, Pascale Le
Year of Publication 16.01.2024