Bart Van Gasse

BV

Statistics

Publications

7

Citations

292

H-Index

7

Active since

2006

Bart Van Gasse is an author at Ghent University specializing in automated reasoning, formal methods, and engineering.

Publications per year

2006–2011

7

Publications

7