Embedded Systems: Challenges in Specification and Verification.

Amir Pnueli

Browse the full EMSOFT paper archive.