Concepedia

Author

Frederic Besnard

Also Known As

Frederic Besnard

1

Publications

10

Citations

1

H-Index

6

Concepts

FB

About

Frederic Besnard is an author specializing in automated reasoning, engineering, and formal specification.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

10

2

Programming Languages

1

1

10

3

Semantics

1

1

10

4

Automated Reasoning

1

1

10

5

Formal Methods

1

1

10

Frederic Besnard

×

1

Publications

10

Citations

1

H-Index

YearCitations

Page 1