Interactive Theorem Proving in Software Engineering by Kammüller, Florian
Interactive Theorem Proving in Software Engineering. Title : Interactive Theorem Proving in Software Engineering. Authors : Kammüller, Florian. We aim to provide a vast range of textbooks, rare and collectible books at a great price.