Verifying Object Construction replication package

Kellogg, M

DOI

Publisher

Data Archiving and Networked Services (DANS)

Abstract

This is the replication package for the ICSE 2020 technical paper "Verifying Object Construction". See the README.md file for instructions, including a link to a VM that can run all of this code

Extracted data

We use cookies to provide a better user experience.

Data Protection

Verifying Object Construction replication package

Abstract

Extracted data

Verifying Object Construction replication package

Abstract

Extracted data

Related items

Related items