Go directly to content Go directly to font size and contrast

Project Details

Institution

Print View

Tel Aviv University
Raymond and Beverly Sackler Faculty of Exact Sciences
Schools of Mathematical and Computer Sciences

Address 69978 Tel Aviv
Israel

69978 Tel Aviv

Projects

Research Grants
- Current projects
  - SPECENG: Specification Engineering for Temporal Logical Specifications
    (Applicant Grunske, Lars )

© 2025 DFG Disclaimer / Copyright / Privacy Policy