![]() |
Volumn 2646, Issue , 2003, Pages 200-219
|
A new extraction for Coq
|
Author keywords
[No Author keywords available]
|
Indexed keywords
AUTOMATIC PROGRAMMING;
EXTRACTION;
AUTOMATIC GENERATION;
COQ PROOF ASSISTANT;
EXTRACTION MECHANISMS;
FUNCTIONAL CODES;
PROOF OF CORRECTNESS;
THEORETICAL MODELING;
THEOREM PROVING;
|
EID: 35248843145
PISSN: 03029743
EISSN: 16113349
Source Type: Book Series
DOI: 10.1007/3-540-39185-1_12 Document Type: Article |
Times cited : (112)
|
References (18)
|