integration of software specification techniques for applications in engineering: priority program softspez of the german research foundation (dfg). f (en Inglés)

ehrig, h. · springer