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