Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Alfredo R. Freire
conf.researchr.org general profile
STAF 2024 profile
Not registered as user
Name:
Alfredo R. Freire
Country:
Brazil
Affiliation:
University of Brası́lia
Contributions
2024
WADT
Author of Formal Specification with Many-Logics Modal Logic within the Research papers-track
Share
x
Sat 21 Dec 19:56