On the Generation of DisCo Specifications from Functional Requirements

TamPub

Erillisteos

On the Generation of DisCo Specifications from Functional Requirements

Julkaisun pysyvä osoite on http://urn.fi/urn:isbn:978-951-44-8284-7

Näytä kaikki kuvailutiedot

Viite kuuluu kokoelmiin: