Search results
2 projects found matching your search criteria:
-
1. Separability problem in automata theory
Principal investigator: dr Wojciech Karol Czerwiński
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: SONATA 11, Panel: ST6
-
2. Scalable reasoning about concurrent imperative programs
Principal investigator: dr Filip Sieczkowski
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Call: SONATA 12, Panel: ST6