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

⌛ 🇫🇷 France pricing being fetched… Prices will appear once fetched — usually within a few minutes.

View in: 🇺🇸 USA

Book Details

Author(s)Laura K Dillon

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

ISBN / ASINB00071CI20

ISBN-13978B00071CI24

MarketplaceFrance 🇫🇷