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}, }