Symbolic Debugging with Gillian (2023)

First Author: Karmios N
Attributed to:  VeTSpec: Verified Trustworthy Software Specification funded by SPF

Abstract

No abstract provided

Bibliographic Information

Publication URI: https://dblp.org/rec/conf/debt/KarmiosAG23.bib

Type: Conference/Paper/Proceeding/Abstract