This book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and ...
Lee masThis book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and ...
Lee masThe topic of this book was formal reasoning and computer programming based on type theory. Great importance was attached ...
Lee mas