Computer Science Seminar by William Mansky: Formally Verifying C Programs Down to Assembly, Interactively and Automatically
Speaker: William Mansky, assistant professor of computer science, University of Illinois 鶹APP Title: Formally Verifying C Programs Down to Assembly, Interactively and Automatically Abstract: How...