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 proceedingConference contribution

Published

Standard

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 proceedingConference contribution

Harvard

Younger, E, Bennett, K & Luo, Z 1997, A formal transformation and refinement method for re-engineering concurrent programs. in Proc of IEEE Inter. Conf. on Software Maintenance.

APA

Younger, E., Bennett, K., & Luo, Z. (1997). A formal transformation and refinement method for re-engineering concurrent programs. In Proc of IEEE Inter. Conf. on Software Maintenance

Vancouver

Younger E, Bennett K, Luo Z. A formal transformation and refinement method for re-engineering concurrent programs. In Proc of IEEE Inter. Conf. on Software Maintenance. 1997

Author

Younger, E. ; Bennett, K. ; Luo, Z. / A formal transformation and refinement method for re-engineering concurrent programs. Proc of IEEE Inter. Conf. on Software Maintenance. 1997.

BibTeX

@inproceedings{171e1b947c184787b4a4541f2c0b4d02,
title = "A formal transformation and refinement method for re-engineering concurrent programs",
author = "E. Younger and K. Bennett and Z. Luo",
year = "1997",
language = "English",
booktitle = "Proc of IEEE Inter. Conf. on Software Maintenance",

}

RIS

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 -