Concepedia

François de Ferrière

FD

3

Publications

40

Citations

3

H-Index

2001

Active since

Affiliations

STMicroelectronics (France)(Current)

François de Ferrière is an author at STMicroelectronics (France) specializing in computational linguistics, formal methods, and engineering.

Top concepts

EngineeringFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisParallel ComputingFormal VerificationComputer EngineeringSoftware EngineeringComputational Linguistics

Publications per year

2001–2005

3

Publications

3

Rows per page

1–3 of 3