Andrew Reynolds, "Verified Software. Theories, Tools and Experiments: 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23"
English | ISBN: 3031660633 | 2024 | 120 pages | EPUB, PDF | 9 MB + 4 MB
English | ISBN: 3031660633 | 2024 | 120 pages | EPUB, PDF | 9 MB + 4 MB