%0
Book
%T
Mechanized semantics of simple imperative programming constructs
%A
Dold, Axel
%I
Univ., Fak. für Informatik
%K
Theoretische Informatik
%D
1996
%C
Univ., Fak. für Informatik
%C
Ulm
%U
http://slubdd.de/katalog?TN_libero_mab2
Download citation