https://www.ebooknetworking.net/books_detail-B00071CI20.html

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

AuthorLaura K Dillon

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

Shop on Amazon — choose your country

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

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 🇺🇸