Using the Theorem Prover SETHEO for Verifying the Development of a Communication Protocol in FOCUS: A Case Study.

Johann Schumann

Browse the full TABLEAUX paper archive.