Case study in coalgebraic specification: Memory management in the Fiasco microkernel (2000)

Cached

Download Links

by Hendrik Tews
Citations:6 - 2 self