Mirosława Miłkowska

Poprawność i pełność programów w języku logiki - podejście deklaratywne

Affiliation

Uniwersytet Warszawski

Field

informatics

Awarding date

June 23, 2005

Supervisor

• doc. dr hab. Włodzimierz Drabent (Instytut Podstaw Informatyki PAN)

Reviewers

• prof. dr hab. Krzysztof Apt (School of Computing National University of Singapore)
• prof. dr hab. Andrzej Skowron