TY  - JOUR
A1  - Schellhorn, Gerhard
A1  - Ernst, Gidon
A1  - Pfähler, Jörg
A1  - Haneberg, Dominik
A1  - Reif, Wolfgang
T1  - Development of a verified flash file system
T2  - Lecture Notes in Computer Science
Y1  - 2014
UR  - https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/53937
SN  - 9783662436516
SN  - 9783662436523
SN  - 0302-9743
SN  - 1611-3349
VL  - 8477
SP  - 9
EP  - 24
PB  - Springer
CY  - Berlin [u.a.]
ER  -