Telecharger Cours

Automata-Guided Synthesis and Reuse of Precisions

This research leading to this dissertation was carried out under the supervision of Prof. Dr. rer. nat. Jürgen Ertel and. Prof. Dr. rer. nat. Gerhard Wiegleb.



Download