This book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and ...
Lire la suiteThis book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and ...
Lire la suiteThe topic of this book was formal reasoning and computer programming based on type theory. Great importance was attached ...
Lire la suite