Xiasong Lu

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

1997

1 Atsushi Togashi, Fumiaki Kanezashi, Xiasong Lu: A Methodology for the Description of System Requirements and the Derivation of Formal Specifications. FORTE 1997: 383-398

	1997
1		Atsushi Togashi, Fumiaki Kanezashi, Xiasong Lu: A Methodology for the Description of System Requirements and the Derivation of Formal Specifications. FORTE 1997: 383-398

Coauthor Index

1 Fumiaki Kanezashi [1]

2 Atsushi Togashi [1]