There is no fulltext present in this item.

Find Full text  
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: http://dx.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 : http://hdl.handle.net/2066/122449   http://hdl.handle.net/2066/122449

Display more details
Editor(s): Achten, P.; Koopman, P.
Subject: Digital Security
Software Science
Organization: Security of Systems
Digital Security
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)

Browse

Statistics