Piotr Hoffman

Architectural Specifications and Their Verification

Affiliation

Uniwersytet Warszawski

Field

informatics

Awarding date

May 19, 2005

Supervisor

• prof. dr hab. Andrzej Tarlecki

Reviewers

• dr hab. Michał Grabowski (Wyższa Szkoła Informatyki i Ekonomii TWP)
• doc. dr hab. Wojciech Penczek (Instytut Podstaw Informatyki PAN)
• prof. Michel Bidoit (Laboratoire Specification et Verification Ecole Normale Superieure de Cachan, Francja)