Skip to main navigation
Skip to search
Skip to main content
York Research Database Home
Help & FAQ
Home
Researchers
Departments and Units
Publications
Projects
Activities
Datasets
Prizes
Search by expertise, name or affiliation
Brazilian Symposium on Formal Methods (SBMF) 2008
Cavalcanti, A. L. C.
(Keynote/plenary speaker)
Computer Science
Activity
:
Talk or presentation
›
Symposium
Period
2008
Event title
Brazilian Symposium on Formal Methods (SBMF) 2008
Event type
Conference
Location
Salvador, Brazil
Show on map
X