Skip to main navigation
Skip to search
Skip to main content
the Research Portal - University of Namur Home
English
Français
Home
Profiles
Research units
Projects
Research output
Student theses
Equipment
Datasets
Prizes
Activities
Press/Media
Search by expertise, name or affiliation
NASA Formal Methods Symposium
Ortiz Vega, J. J.
(Contributor)
Research Center on Information Systems Engineering
Research Group on the Foundations of Computer Science
Faculty of Computer Science
Activity
:
Participating in or organising an event types
›
Participation in conference
Period
2017
→ …
Event type
Conference
Conference number
9th
Location
San Jose, United States
Show on map