SpecifyThis Bridging Gaps Between Program Specification Paradigms: Track Introduction

会议论文
发表日期：

2025年

查看全文

Gidon Ernst,
Paula Herber,
Marieke Huisman,
Mattias Ulbrich

摘要

We motivate and summarise the track SpecifyThis – Bridging gaps between program specification paradigms, taking place at the International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024.

We motivate and summarise the track SpecifyThis – Bridging gaps between program specification paradigms, taking&#xa0;place at the International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024.

SpecifyThis Bridging Gaps Between Program Specification Paradigms: Track Introduction

摘要

We motivate and summarise the track SpecifyThis – Bridging gaps between program specification paradigms, taking place at the International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024.