Joan Gispert

JG

12

Publications

510

Citations

11

H-Index

1998

Active since

Joan Gispert is an author at Universitat de Barcelona specializing in automated reasoning, formal methods, and engineering.

Publications per year

1998–2012

12

Publications

12