Books by Laura K Dillon — EbookNetworking.net

EbookNetworking 🔍 Search Books

📄 Lite AMP versionFull site ›

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

An experience with two symbolic execution-based approaches to formal verification of Ada tasking programs (Technical report. University of California, ... of Engineering. Dept. of Computer Science)
Laura K Dillon
University of California, Santa Barbara, College of Engineering, Dept. of Computer Science
View Details ›