Statistics
Publications
4
Citations
64
H-Index
4
Active since
2002
Affiliations
A Requet is an author at Laboratoire Génie et Matériaux Textiles specializing in formal methods, computing, and computer science.
Publications per year
2002–2003
4
4
Embedding formally proved code in a smart card: converting B to C
1–4 of 4