« Method ... for delivering zinc to the nasal membrane | Main | Vaccinations, seizures and autism »
February 26, 2004
Formalizing C in HOL
[C formalised in HOL (ResearchIndex)]
Posted by jones at February 26, 2004 10:40 AM
« Method ... for delivering zinc to the nasal membrane | Main | Vaccinations, seizures and autism »
[C formalised in HOL (ResearchIndex)]
Posted by jones at February 26, 2004 10:40 AM