메뉴 건너뛰기




Volumn , Issue , 2005, Pages 169-180

Battling windmills with Coq;Coq à la conquête des moulins

Author keywords

[No Author keywords available]

Indexed keywords


EID: 33745215943     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper
Times cited : (2)

References (9)
  • 4
    • 38149012481 scopus 로고    scopus 로고
    • Documentation, system download. Contact
    • Coq development team. The Coq proof assistant. Documentation, system download. Contact: http://coq.inria.fr/
    • The Coq Proof Assistant
  • 6
    • 0038382055 scopus 로고    scopus 로고
    • Verification of non-functional programs using interpretations in type theory
    • July
    • J.-C. Filliâtre. Verification of Non-Functional Programs using Interpretations in Type Theory. Journal of Functional Programming, 13(4):709-745, July 2003.
    • (2003) Journal of Functional Programming , vol.13 , Issue.4 , pp. 709-745
    • Filliâtre, J.-C.1
  • 8
    • 0024682558 scopus 로고
    • The parallel assignment problem redefined
    • June
    • Cathy May. The parallel assignment problem redefined. IEEE Transactions on Software Engineering, 15(6):821-824, June 1989.
    • (1989) IEEE Transactions on Software Engineering , vol.15 , Issue.6 , pp. 821-824
    • May, C.1


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.