01264nam2-2200373---450-9900003513102033160035130USA010035130(ALEPH)000035131USA01003513020010307d1985----km-y0itay0103----baengDE||||||||001yyFormal methods and software developmentcolloquium on software engineering (CSE)BerlinSpringer Verlagc1985XIV, 455 pdiagr.24 cmLecture notes in computer science1862001Lecture notes in computer science18600100351292001TAPSOFT001.6425International joint conference on theory and practice of software development <Berlino; 1985>543210ITsalbcISBD990000351310203316001 LNCS 18614055001 LNCS00101516BKSCIPATTY9020010307USA011341PATTY9020010307USA011343PATTY9020010307USA01134320020403USA011643PATRY9020040406USA011624Formal methods and software development878456UNISA