EECS Publication
Specifying A Software Module by Enumeration, and Transformations to and from Other Formal Representations
Lan Lin, Jesse H. Poore, Stacy J. Prowell
Published 2005-06-01 04:00:00 as ut-cs-05-556 (ID:158)
Specifying A Software Module by Enumeration, and Transformations to and from Other Formal Representations
Lan Lin, Jesse H. Poore, Stacy J. Prowell
Published 2005-06-01 04:00:00 as ut-cs-05-556 (ID:158)
The flagship campus of the University of Tennessee System and partner in the Tennessee Transfer Pathway.