Letu Yang

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

2007

2 Letu Yang, Michael Poppleton: Automatic Translation from Combined B and CSP Specification to Java Programs. B 2007: 64-78

1 Letu Yang, Michael Poppleton: JCSProB: Implementing Integrated Formal Specifications in Concurrent Java. CPA 2007: 67-88

	2007
2		Letu Yang, Michael Poppleton: Automatic Translation from Combined B and CSP Specification to Java Programs. B 2007: 64-78
1		Letu Yang, Michael Poppleton: JCSProB: Implementing Integrated Formal Specifications in Concurrent Java. CPA 2007: 67-88

Coauthor Index

1 Michael Poppleton (M. Poppleton) [1] [2]