TY - JOUR
TI - Program Specification Applied to a Text Formatter
T2 - IEEE Transactions on Software Engineering
SP - 490
EP - 498
AU - M. Feather
PY - 1982
KW - program transfornation
KW - Applicative programming
KW - program reliability
KW - program specification
KW - programming techniques
DO - 10.1109/TSE.1982.235737
JO - IEEE Transactions on Software Engineering
IS -
SN - 0098-5589
VO - 10.1109/TSE.1982.235737
VL - 8
JA - IEEE Transactions on Software Engineering
Y1 - September 1982
ER -