Articles with public access mandates - Karl CraryLearn more
Available somewhere: 1
TWAM: A certifying abstract machine for logic programs
B Bohrer, K Crary
Verified Software. Theories, Tools, and Experiments: 10th International …, 2018
Mandates: US Department of Defense
Publication and funding information is determined automatically by a computer program