Provably Relevant HAL Interface Requirements for Embedded Systems.

Manuel Bentele, Andreas Podelski, Axel Sikora, Bernd Westphal

Browse the full REFSQ paper archive.