Concepedia

Alexander Nutz

AN

Statistics

Publications

1

Citations

14

H-Index

1

Active since

2017

Affiliations

University of Freiburg(Current)

Alexander Nutz is an author at University of Freiburg specializing in abstraction refinement, symbolic model checking, and counterexample-guided abstraction refinement.

Publications per year

2017–2017

1

Publications

1