Verified Software. Theories, Tools and Experiments
de Andrew Reynolds, Serdar Tasiran
Ediciones (1)
- Verified Software. Theories, Tools and Experiments (2024)
Springer · inglés · ISBN 9783031660634
de Andrew Reynolds, Serdar Tasiran
Springer · inglés · ISBN 9783031660634
