Simon Varvaressos

SV

3

Publications

75

Citations

3

H-Index

2014

Active since

Simon Varvaressos is an author at Université du Québec à Chicoutimi specializing in formal verification, program analysis, and software engineering.

Publications per year

2014–2017

3

Publications

3