Jørgen Staunstrup, Henrik Reif Andersen, Henrik Hulgaard, Jørn Lind-Nielsen, Kim Guldstrand Larsen, Gerd Behrmann, Kåre J. Kristoffersen, Arne Skou, Henrik Leerberg, Niels Bo Theilgaard. Practical Verification of Embedded Software. IEEE Computer, 33(5):68-75, 2000. [doi]
@article{StaunstrupAHLLBKSLT00,
title = {Practical Verification of Embedded Software},
author = {Jørgen Staunstrup and Henrik Reif Andersen and Henrik Hulgaard and Jørn Lind-Nielsen and Kim Guldstrand Larsen and Gerd Behrmann and Kåre J. Kristoffersen and Arne Skou and Henrik Leerberg and Niels Bo Theilgaard},
year = {2000},
url = {http://computer.org/computer/co2000/r5068abs.htm},
tags = {embedded software},
researchr = {https://researchr.org/publication/StaunstrupAHLLBKSLT00},
cites = {0},
citedby = {0},
journal = {IEEE Computer},
volume = {33},
number = {5},
pages = {68-75},
}