Piotr Hoffman

Architectural Specifications and Their Verification

Afiliacja

Uniwersytet Warszawski

W zakresie

informatyki

Data nadania

19 maja 2005

Promotor

• prof. dr hab. Andrzej Tarlecki

Recenzenci

• 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)