학술논문 – 부산대학교 도서관

학술논문

replay검색결과 돌아가기

search검색화면

Ready, Set, Verify! Applying hs-to-coq to real-world Haskell code

Document Type

Article

Author

Breitner, J.; Wiegley, J.; Spector-Zabusky, A.; Li, Y.; Cohen, J.; Weirich, S.; Rizkallah, C.

Source

In: Journal of Functional Programming. (Journal of Functional Programming, 2021)

Subject

Language

English

ISSN

14697653
09567968

Online Access

Full Text (ProQuest Central) Web of Science JCR 저널정보 Scopus Find it@PNU

이메일