Vitali Stuckert

VS

2

Publications

44

Citations

2

H-Index

2009

Active since

Vitali Stuckert is an author at Karlsruhe Institute of Technology specializing in formal verification, engineering, and data security.

Publications per year

2009–2011

2

Publications

2