Towards Provably Correct Code Gneration for a Hard Real-Time Programming Language.

Martin Frnzle, Markus Mller-Olm

Browse the full CC paper archive.