Home / Authors / Laura K Dillon

Books by Laura K Dillon

All books by this author

1 books found
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)
An experience with two symbolic execution-based approaches …
By: Laura K Dillon
View Details