Canver, Ercüment
informatik.uni-ulm.deUniversity of Ulm - Object-oriented approaches to formal specification and verification, formal specification and verification of reactive systems, component-based formal development of concurrent systems, and the Temporal Logic of Actions.
Rate This Site
Embed Badge
Place this code on your website to show you're listed here.