One fine body…
- Albert-Einstein-Straße 21
- Rostock, Germany
- Website wwwteo.informatik.uni-rostock.de/ls_tpp/
- About We develop tools and algorithms for asserting correctness of systems (in hardware or software). Thereby, we focus on two particular topics: first, we develop tools and algorithms for computer aided verification, and second, we develop computer aided assistance for services and service oriented architectures.
- Follow Following