Certification Using the Mobius Base Logic - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Lennart Beringer, Martin Hofmann, Mariela Pavlova. Certification Using the Mobius Base Logic. In Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem P. de Roever, editors, Formal Methods for Components and Objects, 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures. Volume 5382 of Lecture Notes in Computer Science, pages 25-51, Springer, 2007. [doi]

This author has not been identified. Look up 'Lennart Beringer' in GoogleThis author has not been identified. Look up 'Martin Hofmann' in GoogleThis author has not been identified. Look up 'Mariela Pavlova' in Google

runs on WebDSL