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)
Price not available for France
You can still browse on Amazon. Try another country above.
Book Details
Author(s)
Laura K Dillon
Publisher
University of California, Santa Barbara, College of Engineering, Dept. of Computer Science
ISBN / ASIN
B00071CI20
ISBN-13
978B00071CI24
Marketplace
France 🇫🇷
Ratings & Reviews
No reviews yet — be the first!
No reviews yet.
