A. Venet
发表
Arnaud Venet,
A. Venet,
1996,
LOMAPS.
E. Feron,
A. Venet,
2006
.
K. Havelund,
A. Venet,
A. Goldberg,
2006
.
E. Feron,
A. Venet,
2006
.
S. Chevret,
F. Barbier,
C. Chapuis,
2022,
Journal of clinical medicine.
Arnaud Venet,
A. Venet,
1998,
SAS.
Guillaume Brat,
Arnaud Venet,
G. Brat,
2004,
PLDI '04.
Aditya V. Thakur,
Arnaud J. Venet,
Sung Kook Kim,
2020,
SAS.
Aditya V. Thakur,
A. Venet,
Sung Kook Kim,
2019,
Proc. ACM Program. Lang..
Arnaud Venet,
A. Venet,
1996,
SAS.
Arnaud Venet,
Mendes Oulamara,
A. Venet,
2015,
CAV.
Arnaud Venet,
A. Venet,
2012,
CAV.
G. Brat,
A. Venet,
G. Brat,
2005,
2005 IEEE Aerospace Conference.
Arnaud Venet,
A. Venet,
2004,
SAS.
Arnaud Venet,
A. Venet,
2002,
SAS.
Arnaud Venet,
A. Venet,
1999,
Sci. Comput. Program..
Sarah Thompson,
Guillaume Brat,
Arnaud Venet,
2010,
NASA Formal Methods.
Alfons Laarman,
Guillaume Brat,
David Faragó,
2013
.
Guillaume Brat,
Arnaud Venet,
Neha Rungta,
2013,
Lecture Notes in Computer Science.
Michael R. Lowry,
Doron Drusinsky,
Corina S. Pasareanu,
2013,
Formal Methods Syst. Des..
Jorge A. Navas,
Guillaume Brat,
Arnaud Venet,
2014,
SEFM.