Letu Yang

According to our database¹, Letu Yang authored at least 3 papers between 2007 and 2008.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2008

The automated translation of integrated formal specifications into concurrent programs.

[BibT_eX]

[DOI]

PhD thesis, 2008

2007

JCSProB: Implementing Integrated Formal Specifications in Concurrent Java.

[BibT_eX]

[DOI]

Proceedings of the 30th Communicating Process Architectures Conference, 2007

Automatic Translation from Combined <i>B</i> and CSP Specification to Java Programs.

[BibT_eX]

[DOI]

Proceedings of the B 2007: Formal Specification and Development in B, 2007