HANDS-ON, MINDS-ON LEARNING IN SYSTEMS SOFTWARE: LINUX KERNEL, MEMORY TRANSACTIONS, AND THEOREM PROVING

$1,602,572FY2016Department of the NavyDOD

Virginia Polytechnic Institute & State University

Investigators