by Cèbe, Amélie, Dessane, Bérangère, Gohier, Pauline, Bernadou, Jean-Marc, Venet, Arnaud, Xuereb, Fabien, Crauste-Manciet, Sylvie
Published in Pharmaceutics (01.03.2023)

by Khan, Aasfa, Venet, Arnaud, Bernadou, Jean-Marc, Cresto, Sylvie, Servant, Vincent, Boulestreau, Hélène, Xuereb, Fabien, Crauste-Manciet, Sylvie
Published in Pharmaceutical technology in hospital pharmacy (12.08.2022)

by Oulamara, Mendes, Venet, Arnaud J.
Published in Computer Aided Verification (2015)

by Kim, Sung Kook, Venet, Arnaud J., Thakur, Aditya V.
Published in Proceedings of ACM on programming languages (01.01.2020)

by Venet, Arnaud J.
Published in Computer Aided Verification (2012)

by Brat, Guillaume, Navas, Jorge A., Shi, Nija, Venet, Arnaud
Published in Software Engineering and Formal Methods (2014)

by Zerbit, Jeremie, Detroit, Marion, Chevret, Sylvie, Pene, Frederic, Luyt, Charles-Edouard, Ghosn, Jade, Eyvrard, Frederic, Martin-Blondel, Guillaume, Sarton, Benjamine, Clere-Jehl, Raphael, Moine, Pierre, Cransac, Amelie, Andreu, Pascal, Labruyère, Marie, Albertini, Laetitia, Huon, Jean-François, Roge, Pauline, Bernard, Lise, Farines-Raffoul, Magali, Villiet, Maxime, Venet, Arnaud, Dumont, Louis Marie, Kaiser, Jean-Daniel, Chapuis, Claire, Goehringer, François, Barbier, François, Desjardins, Stephane, Benzidi, Younes, Abbas, Nora, Guerin, Corinne, Batista, Rui, Llitjos, Jean-François, Kroemer, Marie
Published in Journal of clinical medicine (04.11.2022)

by Kim, Sung Kook, Venet, Arnaud J., Thakur, Aditya V.
Published in Static Analysis (2021)

by Grau, Delphine, Masson, Raphaël, Villiet, Maxime, Lamy, Brigitte
Published in Antimicrobial resistance & infection control (05.02.2018)

by Venet, Arnaud
Published in Verified Software: Theories, Tools, Experiments (2008)

by Simon, Axel, Venet, Arnaud
Published in Electronic notes in theoretical computer science (01.09.2014)

by Kim, Sung Kook, Venet, Arnaud J, Thakur, Aditya V
Year of Publication 12.09.2020

by Brat, Guillaume, Drusinsky, Doron, Giannakopoulou, Dimitra, Goldberg, Allen, Havelund, Klaus, Lowry, Mike, Pasareanu, Corina, Venet, Arnaud, Visser, Willem, Washington, Rich
Published in Formal methods in system design (01.09.2004)

by Kim, Sung Kook, Venet, Arnaud J, Thakur, Aditya V
Published in arXiv.org (05.12.2019)

by Mendes Oulamara, Venet, Arnaud
Published in arXiv.org (29.09.2015)

by Kim, Sung Kook, Venet, Arnaud J, Thakur, Aditya V
Published in arXiv.org (12.09.2020)

Year of Publication 2013

by Brat, Guillaume P, Laserna, Jorge A, Shi, Nija, Venet, Arnaud Jean
Published in NASA Center for AeroSpace Information (CASI). Conference Proceedings (01.09.2014)

by Brat, Guillaume, Rungta, Neha, Venet, Arnaud
Year of Publication 2013

by Le Metayer, Daniel, Marlet, Renaud, Venet, Arnaud, Frey, Alexandre
Year of Publication 21.07.2009