A Reflective Functional Language for Hardware Design and Theorem Proving

ग्रंथसूची विवरण
मुख्य लेखकों: Grundy, J, Melham, T, O'Leary, J
स्वरूप: Journal article
प्रकाशित: 2006