Fulltext present in this item

Thumbnail
Fulltext: 117003.pdf
Format: PDF
Description: preprint version
Title: Formal models of bank cards for free
Author(s): Aarts, Fides ; Ruiter, J. de ; Poll, E. ; Ruiter, J.E.J. de
Publication year: 2013
In: ICSTW 2013 : IEEE Sixth International Conference on Software Testing, Verification and Validation Workshops : proceedings, pp. 461-468
Publisher: Los Alamitos : IEEE
ISBN: 9781479913244
DOI: http://dx.doi.org/10.1109/ICSTW.2013.60
Annotation: ICSTW 2013 : IEEE Sixth International Conference on Software Testing, Verification and Validation Workshops, 18-22 March 2013 Luxembourg, Luxembourg
Publication type: Article in monograph or in proceedings

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

Display more details
Subject: Digital Security
Software Science
Organization: Software Science
Digital Security
Security of Systems
Book title: ICSTW 2013 : IEEE Sixth International Conference on Software Testing, Verification and Validation Workshops : proceedings
Page start: p. 461
Page end: p. 468

This item appears in the following Collection(s)

Browse

Statistics