Projects search

• Keywords: weryfikacja oprogramowania ×

Change search criteria ↓

Search results

2 projects found matching your search criteria:

1. 1. Specification development and software verification

   Principal investigator: prof. Andrzej Tarlecki

   Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

   Call: OPUS 6, Panel: ST6

2. 2. Automatisation of constructive logic

   Principal investigator: dr hab. Aleksy Andrzej Schubert

   Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

   Call: OPUS 4, Panel: ST6