%0 Book
%T Formal program development IFIP TC2/WG 2.1 state-of-the-art report
%A International Federation for Information Processing Working Group on Algorithmic Languages and Calculi
%A Möller, Bernhard
%I Springer
%@ 3540574999
%@ 0387574999
%K Programming (Electronic computers)
%K Computer programs Specifications
%K Computer software
%K Development
%K Computer programming
%K Aufsatzsammlung
%K Konferenzschrift 1992 Rio de Janeiro
%K Softwareentwicklung
%K Formalisierung
%D 1993
%X Literaturangaben
%C Springer
%C Berlin
%U http://slubdd.de/katalog?TN_libero_mab2
Download citation