Proceedings of the 18th Workshop on Formal Techniques for Java-Like Programs, FTfJP 2016 - Co-located with ECOOP 2016

被引：0

作者：

机构：

来源：

Proceedings of the 18th Workshop on Formal Techniques for Java-Like Programs, FTfJP 2016 - Co-located with ECOOP 2016 | 2016年

关键词：

D O I：

18th Workshop on Formal Techniques for Java-Like Programs, FTfJP 2016

中图分类号：

学科分类号：

摘要：

引用

共 10 条

[1] Proceedings for FTfJP 2014: The 16th Workshop on Formal Techniques for Java-Like Programs - Co-located with ECOOP 2014: Foreword
Pearce, David J.
Proceedings for FTfJP 2014: The 16th Workshop on Formal Techniques for Java-Like Programs - Co-located with ECOOP 2014, 2014,
[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] CCSW 2016 - Proceedings of the 2016 ACM Cloud Computing Security Workshop, co-located with CCS 2016: Foreword
IBM Research, Zurich, Switzerland
不详
NC, United States
CCSW - Proc. ACM Cloud Comput. Secur. Workshop, co-located CCS, (iii):
[9] Proceedings of the 18th ACM International Symposium on High Performance Distributed Computing, HPDC 09, Co-Located with the 2009 International: Foreword
Casanova, Henri
Kranzlmüller, Dieter
Gerndt, Michael
Schiffers, Michael
Proc. 18th ACM International Symposium on High Performance Distributed Computing, HPDC 09, Co-located with the 2009 International Symposium on High Performance Distributed Computing Conf., HPDC'09, 2009,
[10] 18th International Workshop on Security and Trust Management, STM 2022, co-located with the 27th European Symposium on Research in Computer Security, ESORICS 2022
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2023, 13867 LNCS

← 1 →