会员服务
ETAPS是欧洲主要的学术和工业研究论坛，致力于与软件科学相关的课题。ETAPS成立于1998年，是由ESOP、FASE、FoSSaCS和TACAS四个年度会议组成的联合会，并有卫星讲习班。官网链接：https://www.etaps.org/
Proceedings Sixth Workshop on Models for Formal Analysis of Real Systems
Arxiv
0+阅读 · 3月26日
Proceedings 9th Workshop on Horn Clauses for Verification and Synthesis and 10th International Workshop on Verification and Program Transformation
Arxiv
0+阅读 · 2022年11月19日
Proceedings of the 13th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software
Arxiv
0+阅读 · 2022年3月23日
Proceedings Fifth Workshop on Models for Formal Analysis of Real Systems
Arxiv
0+阅读 · 2022年3月17日
Proceedings 8th Workshop on Horn Clauses for Verification and Synthesis
Arxiv
0+阅读 · 2021年9月9日
VerifyThis 2019: A Program Verification Competition (Extended Report)
Arxiv
0+阅读 · 2021年5月18日
VerifyThis 2019: A Program Verification Competition (Extended Report)
Arxiv
0+阅读 · 2020年12月17日
VerifyThis 2019: A Program Verification Competition (Extended Report)
Arxiv
0+阅读 · 2020年8月31日
Proceedings Eighth Workshop on Mathematically Structured Functional Programming
Arxiv
0+阅读 · 2020年4月30日
Proceedings of the 4th Workshop on Models for Formal Analysis of Real Systems
Arxiv
0+阅读 · 2020年4月26日
Proceedings of the 12th International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software
Arxiv
0+阅读 · 2020年4月1日
Proceedings 16th Workshop on Quantitative Aspects of Programming Languages and Systems
Arxiv
0+阅读 · 2020年1月17日
Proceedings of the 4th Workshop on Formal Reasoning about Causation, Responsibility, and Explanations in Science and Technology
Arxiv
0+阅读 · 2019年10月30日
Proceedings Third Joint Workshop on Developments in Implicit Computational complExity and Foundational & Practical Aspects of Resource Analysis
Arxiv
0+阅读 · 2019年8月13日
Proceedings of the Sixth Workshop on Horn Clauses for Verification and Synthesis and Third Workshop on Program Equivalence and Relational Reasoning
Arxiv
0+阅读 · 2019年7月8日
参考链接
父主题
Springer
软件工程
程序设计语言
微信扫码咨询专知VIP会员
Top