Project Card

Project Title (de) Projekttitel (de)
Abstraction-based Parameterized TLA Checker
 
Principal Investigator Projektleiter_in
 
Status
COMPLETED