Formal verification of automotive embedded software.

Vassil Todorov, Frdric Boulanger, Safouan Taha

Browse the full ICSE paper archive.