DataCitemetadata only

Stepwise refinement of formal specifications based on logical formulae : from CO-OPN/2 specifications to Java programs

Name: Stepwise refinement of formal specifications based on logical formulae : from CO-OPN/2 specifications to Java programs
License: Open Access

Di Marzo Serugendo, Giovanna

DataCite · Datasets · License: Open Access

Open Source ↗

dataset openaccess

research, doi, dataset, open access

This document is indexed with metadata only — full text is not available in the archive for this record. Open the official source ↗

Record · ID 445109
Retrieved via Conceptio — every document is proof-bundled with source, license, and retrieval metadata.