Hoffmann, Berthold. Ed Kreig-Bruckner, Bernd. Ed
Program development by specification and transformation : The PROSPECTRA methodology, language family, and system - Berlin Springer Verlag 1993 - 623 - Lecture notes in computer science ; 00680 .
354056733X
Prospectra Methodology
Language Family
System
LNCS 680
681 LNCS
Program development by specification and transformation : The PROSPECTRA methodology, language family, and system - Berlin Springer Verlag 1993 - 623 - Lecture notes in computer science ; 00680 .
354056733X
Prospectra Methodology
Language Family
System
LNCS 680
681 LNCS