%0 Book
%T Algebraic methodology and software technology 12th international conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 ; proceedings
%A AMAST 12 2008 Urbana, Ill
%A Meseguer, José
%A Roşu, Grigore
%I Springer
%@ 3540799796
%@ 9783540799795
%K Software engineering Congresses
%K Abstract data types (Computer science) Congresses
%K Konferenzschrift 2008 Urbana, Ill.
%K Softwareentwicklung
%K Algebraische Methode
%D 2008
%X Literaturangaben
%C Springer
%C Berlin
%U http://slubdd.de/katalog?TN_libero_mab2
Download citation