Transformation-Based Reactive Systems Development 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97, Palma, Mallorca, Spain, May 21 - 23, 1997, Proceedings Bertran Miquel Heftet / 1997 / Engelsk
FME '94: Industrial Benefit of Formal Methods Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24 - 28, 1994. Proceedings Naftalin Maurice Heftet / 1994 / Engelsk
