Authors

Thiry, Olivier; Claesen, Luc

Conference

Proceedings International Conference on Computer Design. VLSI in Computers and Processors; Conference held 7-9 oct. 1996; Austin

Title

A formal verification technique for embedded software

Publication type

Proceedings paper