Adam Bałaban

Wnioskowanie o programach za pomocą rozszerzenia logiki algorytmicznej (Wnioskowanie o programach za pomocą rozszerzenia logiki algorytmicznej )

Affiliation

Uniwersytet Warszawski

Field

informatics

Awarding date

March 14, 2002

Supervisor

• prof. dr hab. Jan Madey

Reviewers

• dr hab. Mirosława Mirkowska-Salwicka, prof. PJWSTK
• dr hab. Pawel Urzyczyn, prof. UW