Practical Verification of Embedded Software

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]

Bibliographies