• Formal Methods for Components and Objects: 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures

    Gilles Barthe Pierre Crégut Benjamin Grégoire Thomas Jensen David Pichardie (auth.) Frank S. de Boer Marcello M. Bonsangue Susanne Graf Willem-Paul de Roever (eds.)

Click on cover to enlarge.
7 - 8Hours to read