Sciweavers

Share
32 search results - page 1 / 7
» sac 2011
Sort
View
SAC
2011
ACM
7 years 9 months ago
Quotients revisited for Isabelle/HOL
Higher-Order Logic (HOL) is based on a small logic kernel, whose
Cezary Kaliszyk, Christian Urban
SAC
2011
ACM
7 years 9 months ago
Sector log: fine-grained storage management for solid state drives
Seongwook Jin, Jae-Hong Kim, Jaegeuk Kim, Jaehyuk ...
books