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
Formal Methods Past, Present, and Future
Woodcock, J.
(Keynote/plenary speaker)
Computer Science
Activity
:
Talk or presentation
›
Invited talk
Period
19 Mar 2019
→
20 Mar 2019
Event title
Huawei European Research Forum
Event type
Other
Location
Bilzen, Belgium
Show on map
Degree of Recognition
International
Documents & Links
huawei-formal-methods-woodcock
File
:
application/pdf, 163 KB
Type
:
Text
X