Formal Methods and Manufacturing (FM&M’99). International Workshop. Zaragoza, Spain, September 1999. Proceedings

Jean Claude Gentina, Manuel Silva Suárez y Alessandro Giua, (eds.)