Program checking with certificates: Separating correctnesscritical code (2003)

Cached

Download Links

by Sabine Glesner
Venue:In FME 2003: International Symposium of Formal Methods Europe
Citations:3 - 0 self