A Kripke Logical Relation Between ML and Assembly

by Chung-kil Hur , Derek Dreyer
Citations:8 - 5 self