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