ACL2: ACL2 Theorem Prover and its Applications  [e-journal] 
 / 
 .-  Association for Computing Machinery, 
<br><U>Copy Details:</u><br> Acc. No.: <b>EJK977</b>, Full Call No.: ,   Item type:  Electronic Journals , Location: , <br><b>------------------------- --------------------- ------ --------- ------- ------- --------- -------- </b><br>