WADT 2024
Mon 8 Jul 2024
Enschede, Netherlands
co-located with
STAF 2024
Toggle navigation
Attending
Venue: University of Twente
STAF 2024
Accommodation
Registration
Conference Reception and Dinner
Previous editions
Program
WADT Program
Your Program
Mon 8 Jul
Tracks
WADT 2024
Research papers
STAF 2024
Keynotes
Organization
WADT 2024 Committees
Steering Committee
Programme Committee
Contributors
People Index
Search
Series
Sign in
Sign up
STAF 2024
(
series
) /
WADT 2024
(
series
) /
Manuel A. Martins
STAF 2024 profile
conf.research.org general profile
ETAPS 2019 profile
Not registered as user yet
Name:
Manuel A. Martins
Country:
Portugal
Affiliation:
University of Aveiro
Contributions
2024
WADT
On the Algebra of Reactive Graphs
Formal Specification with Many-Logics Modal Logic
Committee Member in Programme Committee
Show activities from other conferences
Share
STAF 2024-profile
View general profile
x
Sun 8 Dec 18:51