Cocktail: a tool for deriving correct programs / Michael Gerardus Johannes Franssen - Nederlandse Bibliografie Totaal (NBT) - Fedor - Netwerk Digitaal Erfgoed

Cocktail: a tool for deriving correct programs / Michael Gerardus Johannes Franssen

Cocktail: a tool for deriving correct programs / Michael Gerardus Johannes Franssen

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

e5afe4a7e4571bb40668f19f4fe33c85

mainEntity

Cocktail: a tool for deriving correct programs / Michael Gerardus Johannes Franssen

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

about

author

contributor

description

Proefschrift Technische Universiteit Eindhoven

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

Research carried out under the ...... Eindhoven Universities (SOBU)

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

inLanguage

en

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

isPartOf

IPA dissertation series

isbn

9038608411

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

mainEntityOfPage

e5afe4a7e4571bb40668f19f4fe33c85

name

Cocktail: a tool for deriving correct programs

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

numberOfPages

238

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

publication

342290bf92c4eb298bfb4e8fadef7185

sameAs

type

label

Cocktail: a tool for deriving correct programs / Michael Gerardus Johannes Franssen

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