Mathematics of program construction

B. Möller (eds.)

erschienen 1995 in: Third International Conference. Kloster Irsee, Germany Third International Conference. Kloster Irsee, Germany.
LNCS 847, 1995.