Statistics
Publications
1
Citations
16
H-Index
1
Active since
2004
Affiliations
Line Jakubiec is an author at Institut de Neurobiologie de la Méditerranée specializing in certification, formal methods, and computing.
Publications per year
2004–2004
1
1
Certifying circuits in Type Theory
Solange Coupet-Grimal, Line Jakubiec · Formal Aspects of Computing · 2004 · 16 citations · Full text
1–1 of 1