Hiroyuki Katsura - APLAS 2024

Tue 22 - Fri 25 October 2024 Kyoto

Registered user since Thu 25 Jun 2020

Name:Hiroyuki Katsura

Affiliation:The University of Tokyo

Contributions

2024

APLAS

Mode-based Reduction from Validity Checking of Fixpoint Logic Formulas to Test-Friendly Reachability Problem

Show activities from other conferences

APLAS 2024-profile
View general profile