Toggle navigation
Sign in
Sign up
conf.researchr.org
/
João Mota
conf.researchr.org general profile
ECOOP and ISSTA 2023 profile
SPLASH 2023 profile
Not registered as user yet
Name:
João Mota
Affiliation:
NOVA School of Science and Technology
Contributions
2023
ST
Author of Behavioural up/down casting for statically typed languages within the ST30-track
ECOOP
Author of On using VeriFast, VerCors, Plural, and KeY to check object usage within the Research Papers-track
Share
x
Wed 24 Apr 09:13