%0
Generic
%T
Lecture Notes in Computer Science: Assertions, Conditionals, and Defaults
%A
Osswald, Rainer
%I
Springer Berlin Heidelberg
%@
0302-9743
%@
1611-3349
%D
2005
%C
Springer Berlin Heidelberg
%U
http://slubdd.de/katalog?TN_libero_mab2
Download citation