| | |
@article{DBLP:journals/tse/ChangC85,
author = {Shi-Kuo Chang and
Wu-Lung Chan},
title = {Transformation and Verification of Office Procedures},
journal = {IEEE Trans. Software Eng.},
volume = {11},
number = {8},
year = {1985},
pages = {724-734},
ee = {http://doi.ieeecomputersociety.org/10.1109/TSE.1985.232522},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Last update 2009-06-09 CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page