Implementing mathematics with the Nuprl proof development system
Implementing mathematics with the Nuprl proof development system
Information and Computation - Semantics of Data Types
AUTO STAR—a software development system
ACM SIGPLAN Notices
A provably correct operating system: &dgr;-core
ACM SIGOPS Operating Systems Review
A formal semantic definition of DEVIL
ACM SIGPLAN Notices
Partitioning based operating system: a formal model
ACM SIGOPS Operating Systems Review
Automatic generation of device drivers
ACM SIGPLAN Notices
Hi-index | 0.00 |