Statistics
Publications
1
Citations
38
H-Index
1
Active since
2013
Affiliations
University of Pisa(Current)
Matthieu Carlier is an author at University of Pisa specializing in programming languages, computing, and computer science.
Publications per year
2013–2013
1
1
Symbolic Path-Oriented Test Data Generation for Floating-Point Programs
Roberto Bagnara, Matthieu Carlier, Roberta Gori et al. · 2013 · 38 citations
1–1 of 1