Johann Schumann (schumann-j)

Contributions à Philosophie.ch

Bibliography

Dahn, Ingo and Schumann, Johann. 1998. “Using Automated Theorem Provers in Verification of Protocols.” in Automated Deduction: A Basis for Applications. Volume III, Applications, edited by Wolfgang Bibel and Peter H. Schmidt, pp. 195–224. Applied Logic Series n. 10. Dordrecht: Kluwer Academic Publishers.
Schumann, Johann. 1998. “Introduction (to Part II: Automated Deduction in Software Engineering and Hardware Design ).” in Automated Deduction: A Basis for Applications. Volume III, Applications, edited by Wolfgang Bibel and Peter H. Schmidt, pp. 99–104. Applied Logic Series n. 10. Dordrecht: Kluwer Academic Publishers.