The automated translation of integrated formal specifications into concurrent programs

Sorry, there's nothing here.

Cite this paper

@inproceedings{Yang2008TheAT, title={The automated translation of integrated formal specifications into concurrent programs}, author={Letu Yang}, year={2008} }