Programming and Proof System ATES
Advanced Techniques Integration into Efficient Scientific Software
Автор:
Armand Puccetti
Наличност:
Външен склад в ограничено количество
Изпращаме след 13-18 дни
115.82
€
226.53 лв
This ESPRIT project integrates formal proof techniques and abstraction mechanisms within a common fr...
