Skip to main navigation
Skip to search
Skip to main content
University of St Andrews Research Portal Home
Help & FAQ
Link opens in a new tab
Search content at University of St Andrews Research Portal
Home
Profiles
Research output
Datasets
Research units
Equipment
Projects
Activities
Impacts
Prizes
Press/Media
Student theses
Formal Methods for Extensions to CAS. World Congress on Formal Methods, Toulouse, 24th September 1999
Kelsey, T.
(Invited speaker)
School of Computer Science
Activity
:
Talk or presentation types
›
Invited talk
Period
1999
→ …
Event title
Formal Methods for Extensions to CAS. World Congress on Formal Methods, Toulouse, 24th September 1999
Event type
Other
Sponsor
Documents & Links
http://www.it.dtu.dk/~db/fm99/
X