Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Jakub Semczyszyn
conf.researchr.org general profile
EASE 2025 profile
Not registered as user
Name:
Jakub Semczyszyn
Country:
Poland
Affiliation:
AGH University of Krakow
Contributions
2025
EASE
Author of Reevaluation of Logical Specification in Behavioural Verification within the Short Papers, Emerging Results-track
Share
x
Mon 27 Oct 09:24