Letu Yang

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2007

2 EE 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	EE	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]