Proceedings for FTfJP 2014: The 16th Workshop on Formal Techniques for Java-Like Programs - Co-located with ECOOP 2014: Foreword

被引：0

作者：

Pearce, David J. ^{[1
]}

机构：

[1] Victoria University of Wellington, New Zealand

来源：

Proceedings for FTfJP 2014: The 16th Workshop on Formal Techniques for Java-Like Programs - Co-located with ECOOP 2014 | 2014年

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

共 18 条

[1] Proceedings of the 18th Workshop on Formal Techniques for Java-Like Programs, FTfJP 2016 - Co-located with ECOOP 2016
Proceedings of the 18th Workshop on Formal Techniques for Java-Like Programs, FTfJP 2016 - Co-located with ECOOP 2016, 2016,
[2] Proceedings for FTfJP 2012: The 14th Workshop on Formal Techniques for Java-Like Programs - Co-located with ECOOP 2012 and PLDI 2012, Papers Presented at the Workshop: Foreword
Chin, W.-N., 2012, Association for Computing Machinery, General Post Office, P.O. Box 30777, NY 10087-0777, United States
[3] FTfJP 2022 - Proceedings of the Workshop on Formal Techniques for Java-like Programs
FTfJP 2022 - Proceedings of the Workshop on Formal Techniques for Java-like Programs, 2022,
[4] Formal Techniques for Java']Java-Like Programs Report on the 10th Workshop FTfJP at ECOOP 2008
Albert, Elvira
Banerjee, Anindya
Drossopoulou, Sophia
Huisman, Marieke
Igarashi, Atsushi
Leavens, Gary T.
Mueller, Peter
Wrigstad, Tobias
OBJECT-ORIENTED TECHNOLOGY: ECOOP 2008 WORKSHOP READER, 2009, 5475 : 70 - +
[5] Formal techniques for Java']Java-Like programs (FTfJP)
Coglio, A
Huisman, M
Kiniry, JR
Müller, P
Poll, E
OBJECT-ORIENTED TECHNOLOGY, 2004, 3344 : 76 - 83
[6] Workshop on Formal Techniques for Java']Java-like Programs (FTfJP), and International Workshop on Aliasing, Confinement and Ownership in object-oriented programming (IWACO), ECOOP 2008 Editorial
Huisman, Marieke
Muller, Peter
JOURNAL OF OBJECT TECHNOLOGY, 2009, 8 (04): : 3 - 3
[7] Formal techniques for Java']Java-like programs - Report on the WSFTUP at ECOOP'06
Ancona, Davide
Drossopoulou, Sophia
Igarashi, Atsushi
Leavens, Gary T.
Poetzsch-Heffter, Arnd
Zucca, Elena
OBJECT-ORIENTED TECHNOLOGY: ECOOP 2006 WORKSHOP READER, 2007, 4379 : 53 - 58
[8] ESAIR 2014 - Proceedings of the 7th International Workshop on Exploiting Semantic Annotations in Information Retrieval, co-located with CIKM 2014: Foreword
Alonso, Omar
Kamps, Jaap
Karlgren, Jussi
ESAIR 2014 - Proceedings of the 7th International Workshop on Exploiting Semantic Annotations in Information Retrieval, co-located with CIKM 2014, 2014,
[9] Proceedings of the 2009 ACM Workshop on Secure Web Services, SWS '09, Co-located with the 16th ACM Computer and Communications Security Conference, CCS'09
Proceedings of the ACM Conference on Computer and Communications Security, 2009,
[10] Preface proceedings of theMODELS 2013 OCL workshop co-located with the 16th Int. ACM/IEEE conference on model driven engineering languages and systems MODELS 2013
1600, CEUR-WS (1092)

← 1 2 →