Tomáš Kocourek

Projects

• 2025

  String Constraints for Security Analysis, GACR, Standardní projekty, 25-17934S, start: 2025-08-01, end: 2028-07-31, running