| Faculty / Departement ⤶ |
Register by Units | Register by Projects | Register of researchers |
| Register by Collaborations | Ranking by Domains | Ranking by Frascati | Disciplines CREF |
Prof. Michael Leuschel :
Heinrich-Heine-Universität
(Institut für Informatik, Softwaretechnik und Programmiersprachen)
(Germany)
Collaborate with the following search unit :
⊿ Verification and formal methods
