Fully Automatic Testing with Functions as Specifications

Fulltext present in this item

Fulltext: 35854.pdf

Format: PDF

Description: author's version

Embargo: until further notice

Title:	Fully Automatic Testing with Functions as Specifications
Author(s):	Koopman, Pieter ; Plasmeijer, Rinus
Publication year:	2006
In:	Central-European Functional Programming School - Revised Selected Lectures, year = 2006, month = July 4-16, address = Eotvos Lorand University, Budapest, Hungary, publisher = Springer, series = LNCS, volume = 4164, pages = 35-61, pp. 35-61
Publisher:	Eotvos Lorand University, Budapest, Hung : Springer
ISBN:	3540468439
Series:	LNCS ; 4164
Publication type:	Part of book or chapter of book
Please use this identifier to cite or link to this item : http://hdl.handle.net/2066/35854
Display more details
Subject:	Software Technology
Organization:	Software Technology
Book title:	Central-European Functional Programming School - Revised Selected Lectures, year = 2006, month = July 4-16, address = Eotvos Lorand University, Budapest, Hungary, publisher = Springer, series = LNCS, volume = 4164, pages = 35-61
Page start:	p. 35
Page end:	p. 61

Faculty of Science [24899]
Electronic publications [70928]
Freely accessible full text publications plus those not yet available due to embargo
Academic publications [160531]
Academic output Radboud University