Ken Sakayori - APLAS 2024

Tue 22 - Fri 25 October 2024 Kyoto

Registered user since Sat 6 Apr 2019

Name:Ken Sakayori

Country:Japan

Affiliation:University of Tokyo

Contributions

2024

APLAS

Committee Member in Judges within the SRC & Posters-track
Mode-based Reduction from Validity Checking of Fixpoint Logic Formulas to Test-Friendly Reachability Problem

Show activities from other conferences

Using general profile