"A New System Engineering Methodology Coupling Formal Specification and ..."

Juan-José Martins, Jean-Pierre Hubaux (1996)
a service of Schloss Dagstuhl - Leibniz Center for Informatics