Deductive verification via the debug adapter protocol

Thumbnail Image
Citations
Altmetric:
Altmetric::
Download
Published version (302.99 KB)
Associated Records
Authors
Ernst, G; Blau, J; Murray, T
File Licence
Editors
Date
2021-08-06
Source Title
Electronic Proceedings in Theoretical Computer Science
Journal Title
Journal ISSN
Volume Title
Publisher
Open Publishing Association
Melbourne Authors
Murray, Tobias ORCID
Affiliation
Computing and Information Systems
Document Type
Journal Article
Subject Code
Citation
Ernst, G., Blau, J. & Murray, T. (2021). Deductive verification via the debug adapter protocol. Electronic Proceedings in Theoretical Computer Science Eptcs, 338, pp.89-96. https://doi.org/10.4204/EPTCS.338.11.
Access Status
Open Access
URI
https://hdl.handle.net/11343/307768
DOI
10.4204/EPTCS.338.11
Access URL
Open Access URL
Open Access at PMC
Linked Resource URL
NHMRC Grant Code
ARC Grant Code
Description
Abstract
Notes
Terms of Use
Keywords
Publisher Licence
CC BY-NC-ND
Publisher URL
https://doi.org/10.4204/eptcs.338.11
Collections
Computing and Information Systems - Research Publications
Minerva Elements Records