학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 91건 | 목록 10~20
Report
EPTCS 79, 2012, pp. 143-153
Conference
Proceedings of the 12th Workshop on OCL and Textual Modelling. :19-24
Conference
Proceedings of the 16th ACM symposium on Access control models and technologies. :133-142
Conference
Proceedings of the ninth international conference on Generative programming and component engineering. :53-62
Conference
Proceedings of the 2010 international conference on Models in software engineering. :334-348
Conference
Proceedings of the 2009 international conference on Models in Software Engineering. :261-275
Conference
Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems. :306-320
Book
Verified Software: Theories, Tools & Experiments: 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers; 2016, p40-60, 21p
Book
Interactive Theorem Proving: 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings; 2016, p36-51, 16p
검색 결과 제한하기
제한된 항목
[AR] Wolff, Burkhart
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어