MPG.eBooks - Search Results - "Barcelona"

Cover Image

1

FME '94: Industrial Benefit of Formal Methods : Second International Symposium of Formal Methods Europe Barcelona, Spain, October 24–28, 1994 Proceedings

by Bertran, Miquel
Published 1994

Springer

Cover Image

2

FME '94: Industrial Benefit of Formal Methods : Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24 - 28, 1994. Proceedings

Published 1994

Springer Berlin Heidelberg

“..., held in Barcelona, Spain in October 1994. Besides two invited papers and seven industrial usage reports...”