Kc9651nglgsctxx8ceg3

Mathias Soeken

Mathias Soeken is working on formal verification of UML/OCL models used as specification in the design of embedded systems as well as on reversible logic and quantum computation.

Talks I've Given