Integration of software specification techniques for applications in engineering : priority program SoftSpez of the German Research Foundation (DFG) : final report. : 3rd international workshop INT 2004 on "integration of specification techniques for applications in engineering" : 2004, ------. (Lecture Notes in Computer Science ; 3147. State-of-the-Art Survey)
Integration of software specification techniques for applications in engineering : priority program SoftSpez of the German Research Foundation (DFG) : final report. : 3rd international workshop INT 2004 on "integration of specification techniques for applications in engineering" : 2004, ------.
(Lecture Notes in Computer Science ; 3147. State-of-the-Art Survey)
Papers."INT 2004 was launched as a satellite event of ETAPS in Barcelona, the 'European Joint Conference on Theory and Practice of Software'." -- pref...