NASA Formal Methods: 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings Ebook (okabook.shop)

$25.00

eText ISBN: 9783031331701

Category: Tag: