Fulltext present in this item

Thumbnail
Fulltext: 218670.pdf
Format: PDF
Description: publisher's version
Embargo: until further notice
Title: Is Deductive Program Verification Mature Enough to be Taught to Software Engineers?
Author(s): Schoolderman, M.R.; Smetsers, J.E.W. ; Eekelen, M. van
Publication year: 2019
In: Rahimi, E. (ed.), CSERC '19: Proceedings of the 8th Computer Science Education Research Conference Larnaca Cyprus November, 2019, pp. 50-57
Publisher: New York : ACM
ISBN: 9781450377171
DOI: https://doi.org/10.1145/3375258.3375265
Annotation: CSERC '19
Publication type: Article in monograph or in proceedings

Please use this identifier to cite or link to this item : https://hdl.handle.net/2066/218670   https://hdl.handle.net/2066/218670

Display more details
Editor(s): Rahimi, E.
Subject: Digital Security
Software Science
Organization: Digital Security
Software Science
Book title: Rahimi, E. (ed.), CSERC '19: Proceedings of the 8th Computer Science Education Research Conference Larnaca Cyprus November, 2019
Page start: p. 50
Page end: p. 57

This item appears in the following Collection(s)

Browse

Statistics