Preface: Twenty Years of the QED Manifesto

Fulltext present in this item

Format: PDF

Description: publisher's version

Title:	Preface: Twenty Years of the QED Manifesto
Author(s):	Harrison, J.; Urban, Josef; Wiedijk, F.
Publication year:	2016
Source:	Journal of Formalized Reasoning, vol. 9, iss. 1, (2016), pp. 1-2
ISSN:	1972-5787
DOI:	http://dx.doi.org/10.6092/issn.1972-5787/5974
Publication type:	Article / Letter to editor
Please use this identifier to cite or link to this item : https://hdl.handle.net/2066/155750
Display more details
Subject:	Software Science
Organization:	Data Science Foundations Software Science
Journal title:	Journal of Formalized Reasoning
Volume:	vol. 9
Issue:	iss. 1
Page start:	p. 1
Page end:	p. 2

Faculty of Science [27337]
Open Access publications [52429]
Freely accessible full text publications
Electronic publications [81543]
Freely accessible full text publications plus those not yet available due to embargo
Academic publications [177466]
Academic output Radboud University