Login
EN
[EN] English
[FR] Français
Login
EN
[EN] English
[FR] Français
Give us feedback
Search and explore
Search
Explore ORBilu
Open Science
Open Science
Open Access
Research Data Management
Definitions
OS Working group
Open Access Week 24
Statistics
Help
User Guide
FAQ
Publication list
Document types
Reporting
Training
ORCID
About
About ORBilu
Deposit Mandate
ORBilu team
Impact and visibility
About statistics
About metrics
OAI-PMH
Project history
Legal Information
Data protection
Legal notices
Back
Home
Detailled Reference
Download
Scientific presentation in universities or research centers (Scientific presentations in universities or research centers)
Interfacing with Proof Assistants for Domain Specific Programming Using EventML
RAHLI, Vincent
2012
Permalink
https://hdl.handle.net/10993/22665
Files (1)
Send to
Details
Statistics
Bibliography
Similar publications
Files
Full Text
Interfacing_with_Proof_Assistants_for_Domain_Specific_Programming_Using_EventML.pdf
Author preprint (296.57 kB)
Download
All documents in ORBilu are protected by a
user license
.
Send to
RIS
BibTex
APA
Chicago
Permalink
X
Linkedin
copy to clipboard
copied
Details
Disciplines :
Computer science
Author, co-author :
RAHLI, Vincent
;
Cornell University > Computer Science Department
Language :
English
Title :
Interfacing with Proof Assistants for Domain Specific Programming Using EventML
Publication date :
2012
Event name :
International Workshop on User Interfaces for Theorem Provers (UITP 2012)
Event date :
July 2012
Audience :
International
Commentary :
Presented at the 10th International Workshop on User Interfaces for Theorem Provers
Available on ORBilu :
since 30 November 2015
Statistics
Number of views
53 (1 by Unilu)
Number of downloads
76 (0 by Unilu)
More statistics
Bibliography
Similar publications
Contact ORBilu
