Doktorand:in
Kaiserstraße 21
66386 St. Ingbert (Germany)
International Symposium on Automated Technology for Verification and Analysis (ATVA)