An Evaluation of the LCF Theorem Prover using LOTOS - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Rob Booth. An Evaluation of the LCF Theorem Prover using LOTOS. In Son T. Vuong, editor, Formal Description Techniques, II, Proceedings of the IFIP TC/WG6.1 Second International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE 89, Vancouver, BC, Canada, 5-8 December, 1989. pages 83-99, North-Holland, 1989.

This author has not been identified. Look up 'Rob Booth' in Google

runs on WebDSL