Michal Zawidzki

Latest

• Computing All Facts Entailed By An LTL Specification