Functionality decomposition by compositional correctness preserving transformation / Ed Brinksma, Rom Langerak - Nederlandse Bibliografie Totaal (NBT) - Fedor - Netwerk Digitaal Erfgoed

Functionality decomposition by compositional correctness preserving transformation / Ed Brinksma, Rom Langerak

Functionality decomposition by compositional correctness preserving transformation / Ed Brinksma, Rom Langerak

http://data.bibliotheken.nl/id/nbt/p197588107

7703bf4d897defd5239d90bd6c7f04e6

mainEntity

Functionality decomposition by compositional correctness preserving transformation / Ed Brinksma, Rom Langerak

http://data.bibliotheken.nl/id/nbt/p197588107

author

contributor

inLanguage

en

http://www.w3.org/2001/XMLSchema#string

isPartOf

Memoranda informatica / University of Twente, Department of Computer Science

TIOS / Tele-Informatics and Open Systems Group

mainEntityOfPage

7703bf4d897defd5239d90bd6c7f04e6

name

Functionality decomposition by compositional correctness preserving transformation

http://www.w3.org/2001/XMLSchema#string

numberOfPages

14

http://www.w3.org/2001/XMLSchema#integer

publication

2e1a0b4638427e23d7e57c7f5e0ebc5b

sameAs

type

label

Functionality decomposition by ...... on / Ed Brinksma, Rom Langerak

http://www.w3.org/2001/XMLSchema#string