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

📄 Viewing lite version Full site ›

🌎 Shop on Amazon — choose country

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

Price not listed

🛒 Buy New on Amazon 🇺🇸

Book Details

Author(s)Laura K Dillon

PublisherUniversity of California, Santa Barbara, College of Engineering, Dept. of Computer Science

ISBN / ASINB00071CI20

ISBN-13978B00071CI24

Sales Rank99,999,999

MarketplaceUnited States 🇺🇸