Testimony and Computer Proof
Keyword(s):
Keyword(s):
2002 ◽
Vol 13
(4)
◽
pp. 327-333
◽
2016 ◽
Vol 32
(6)
◽
pp. 829.e11-829.e13
◽
1991 ◽
Vol 117
(1-2)
◽
pp. 109-114
Keyword(s):