J Strother Moore
1PUBLICATIONS
0CO-AUTHORS
Get your video featured.
Publish with JoVEGet your video featured.
Publish with JoVE
Publications (1)
Sort by Publication Date:
|Sep 06, 2017
Industrial hardware and software verification with ACL2.Warren A Hunt, Matt Kaufmann, J Strother Moore
Pageof 1
