Radboud Repository
Radboud Repository
→
Collections Radboud University
→
Academic publications
→
View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.
There is no fulltext present in this item.
Title:
Verifying functional formalizations – a type-theoretical case study in pvs
Author(s):
Smetsers, S.
;
Barendsen, E.
Publication year:
2013
In:
Achten, P.; Koopman, P. (ed.), The beauty of functional code, pp. 47-59
Publisher:
Berlin : Springer
ISBN:
9783642403545
Series:
Lecture Notes in Computer Science ; 8106
DOI:
https://doi.org/10.1007/978-3-642-40355-2_5
Publication type:
Part of book or chapter of book
Please use this identifier to cite or link to this item :
https://hdl.handle.net/2066/122449
Display more details
Editor(s):
Achten, P.
;
Koopman, P.
Subject:
Digital Security
Software Science
Organization:
Security of Systems
Software Science
Book title:
Achten, P.; Koopman, P. (ed.), The beauty of functional code
Page start:
p. 47
Page end:
p. 59
This item appears in the following Collection(s)
Faculty of Science
[28822]
Academic publications
[186310]
Academic output Radboud University
Search Repository
Search Repository
This Collection
Browse
All of Repository
Collections
Departments
Date Issued
Authors
Titles
Document type
This Collection
Departments
Date Issued
Authors
Titles
Document type
Statistics
View Item Statistics