STAF 2024
Mon 8 - Thu 11 July 2024
Enschede, Netherlands
Toggle navigation
Attending
Venue: University of Twente
Accommodation
Registration
Conference Reception and Dinner
Program
Complete Program
Your Program
Mon 8 Jul
Tue 9 Jul
Wed 10 Jul
Thu 11 Jul
Tracks
STAF 2024
Call for Workshops
Keynotes
Co-hosted Conferences
ECMFA
ECMFA
ECMFA
Technical Track
ICGT
ICGT
ICGT
Research Papers
ICGT
Journal-First
WADT
WADT
WADT
Research papers
Workshops
Agile MDE
GCM
LLM4MDE
MeSS
Organization
STAF 2024 Committees
Organizing Committee
Steering Committee
Contributors
People Index
Co-hosted Conferences
ECMFA
Steering Committee
Program Committee
ICGT
Steering Committee
Program Committee
WADT
Steering Committee
Programme Committee
Workshops
Agile MDE
Organizing Committee
Program Committee
GCM
Program Committee
LLM4MDE
Organizing Committee
Program Committee
MeSS
Organizing Committee
Program Committee
Steering committee
Search
Series
Series
STAF 2024
STAF 2023
Sign in
Sign up
STAF 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 1 Sep 11:09