Fabian Vu
Fabian Vu
Affiliation: University of Düsseldorf
Pages in this Program
Animation, Verification and Visualisation of Prolog Transition Systems with ProB
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated:
🔍 ↑