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
Kats Conf
Brady, E. C.
(Speaker)
School of Computer Science
Activity
:
Talk or presentation types
›
Presentation
Description
Idris: Practical Software Verification with Dependent Types
Period
Sept 2015
Event title
Kats Conf
Event type
Conference
Location
Dublin, Ireland
Show on map
Documents & Links
http://www.katsconf.com/2015
X