Thesis
Title
Integrated Development Environment for Automatic Verification, Synthesis and Improvement of Software
Department
Wydział Informatyki, Politechnika Poznańska
Promoters
Reviewers
Title variant
PL Zintegrowane środowisko wspierania rozwoju oprogramowania z wykorzystaniem metod automatycznej weryfikacji, syntezy i polepszania programów
Language
english
Type
engineering thesis
Date of defense
09.02.2017
System created by Poznań University of Technology
and Poznan Supercomputing and Networking Center
Log in through eKonto to add to SIS