A formal transformation and refinement method for re-engineering concurrent programs. / Younger, E.; Bennett, K.; Luo, Z.
Proc of IEEE Inter. Conf. on Software Maintenance. 1997.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
A formal transformation and refinement method for re-engineering concurrent programs. / Younger, E.; Bennett, K.; Luo, Z.
Proc of IEEE Inter. Conf. on Software Maintenance. 1997.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
}
TY - GEN
T1 - A formal transformation and refinement method for re-engineering concurrent programs
AU - Younger, E.
AU - Bennett, K.
AU - Luo, Z.
PY - 1997
Y1 - 1997
M3 - Conference contribution
BT - Proc of IEEE Inter. Conf. on Software Maintenance
ER -