Projects search

• Principal investigator: Filip Sieczkowski ×

Change search criteria ↓

Search results

1 project found matching your search criteria:

1. 1. Scalable reasoning about concurrent imperative programs

   Principal investigator: dr Filip Sieczkowski

   Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

   Call: SONATA 12, Panel: ST6