Authors: Cuellar, J Gnesi, S Latella, D

Citation: J. Cuellar et al., Special issue on formal methods in industry - Foreword, SCI COMP PR, 36(1), 2000, pp. 1-3