Formal Development of a Real-Time Operating System Memory Manager.

Wen Su, Jean-Raymond Abrial, Geguang Pu, Bin Fang

Browse the full ICECCS paper archive.