%0
Generic
%T
Logic Based Program Synthesis and Transformation
%A
Lau, Kung-Kiu
%I
Springer Berlin Heidelberg
%@
0302-9743
%D
2001
%C
Springer Berlin Heidelberg
%U
http://slubdd.de/katalog?TN_libero_mab2
Download citation