Mathematics of program construction : Third International Conference, MPC '95, Kloster Irsee, Germany, July 17-21, 1995 : proceedings - International Conference on the Mathematics of Program Construction 1995 : Kloster Irsee, Germany); Moller, Bernhard (Berlin : Springer-Verlag, 1995)
Keywords: Electronic data processing -- Mathematics -- Congresses