TY -
GEN
AU - Pettorossi, Alberto
TI -
Deriving programs using higher-order generalization
PB - Institute of Mathematics, Polish Academy of Sciences
SN - 0137-6934
SN - 1730-6299
KW - General Medicine
PY - 1988
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -