Formal methods of V&V of partial specifications an experience report (SuDoc NAS 1.26:203075)
Book Details
Author(s)S. M. Easterbrook
PublisherNational Aeronautics and Space Administration National Technical Information Service, distributor
ISBN / ASINB00011124G
ISBN-13978B000111241
Sales Rank99,999,999
MarketplaceUnited States 🇺🇸
