부산대학교 도서관

교내접속OFF
영문 바로가기
Home
통합검색
학술논문

학술논문

replay검색결과 돌아가기
search검색화면
Program synthesis by model finding
Document Type
Article
Author
Mota, A.; Iyoda, J.; Maranhão, H.
Source
In: Information Processing Letters. (Information Processing Letters, 1 November 2016, 116(11):701-705)
Subject
Language
English
ISSN
00200190

Online Access

Full Text (ScienceDirect 종량제) Web of Science JCR 저널정보 Scopus Find it@PNU

메일 발송

이메일

폴더 추가