An Algorithm for Forward Reduction in Sequence-Based Software Specification
International Journal of Software Engineering and Knowledge Engineering - Singapore
doi 10.1142/s0218194016400118
Full Text
Open PDFAbstract
Available in full text
Categories
Date
November 1, 2016
Authors
Publisher
World Scientific Pub Co Pte Lt