Title
Formal Transformations and the Development of Programs
Abstract
Without Abstract
Year
DOI
Venue
1977
10.1007/3-540-08353-7_147
MFCS
Field
DocType
Citations 
Discrete mathematics,Programmer,Programming language,Computer science,Binary tree,High-level programming language,Refinement,Computable function,Computation tree
Conference
2
PageRank 
References 
Authors
0.36
5
1
Name
Order
Citations
PageRank
Friedrich W. Von Henke142549.05