TY  - GEN
T1  - Embedded software verification and debugging
A2  - Lettnin, Djones
A2  - Winterholer, Markus
LA  - English
PP  - New York, NY
PB  - Springer
YR  - 2017
UL  - https://tuklas.up.edu.ph/Record/UP-99796217613117937
SN  - 9781461422662 (online ISBN)
KW  - Computer software : Verification.
KW  - Debugging in computer science.
KW  - Embedded computer systems.
KW  - Electronic books.
ER  -