Reference : Interfacing with Proof Assistants for Domain Specific Programming Using EventML
Scientific Presentations in Universities or Research Centers : Scientific presentation in universities or research centers
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/22665
Interfacing with Proof Assistants for Domain Specific Programming Using EventML
English
Rahli, Vincent mailto [Cornell University > Computer Science Department]
2012
International
International Workshop on User Interfaces for Theorem Provers (UITP 2012)
July 2012
http://hdl.handle.net/10993/22665
Presented at the 10th International Workshop on User Interfaces for Theorem Provers

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
Interfacing_with_Proof_Assistants_for_Domain_Specific_Programming_Using_EventML.pdfAuthor preprint289.62 kBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.