Totally verified systems: Linking verified software to verified hardware (0)

by J J Joyce
Venue:In Leeser and Brown [25