Josep Maria Font

JM

7

Publications

576

Citations

7

H-Index

1993

Active since

Affiliations

Josep Maria Font is an author at Universitat de Barcelona specializing in automated reasoning, formal methods, and semantics.

Publications per year

1993–2014

7

Publications

7