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)

Name: 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)
Author: Laura K Dillon
ISBN: 978B00071CI24

Author Laura K Dillon

Publisher University of California, Santa Barbara, College of Engineering, Dept. of Computer Science

Shop on Amazon — pick your country

🇺🇸 USA 🇨🇦 Canada 🇬🇧 UK 🇩🇪 Germany 🇫🇷 France 🇮🇳 India

Buy New on Amazon 🇺🇸

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

Sales Rank #99,999,999

Marketplace United States 🇺🇸

Ratings & Reviews No reviews yet — be the first!

No reviews yet.