Algebraic Methodology and Software Technology 8th International Conference, AMAST 2000 Iowa City, Iowa, USA, May 20-27, 2000 Proceedings Rus Teodor Heftet / 2000 / Engelsk
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
Algebraic Methodology and Software Technology (AMAST’93) Proceedings of the Third International Conference on Algebraic Methodology and Software Technology, University of Twente, Enschede, The Netherlands 21–25 June 1993 Nivat Maurice Heftet / 1993 / Engelsk
