Yichi Zhang

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

2009

1 Leo Freitas, Jim Woodcock, Yichi Zhang: Verifying the CICS File Control API with Z/Eves: An experiment in the verified software repository. Sci. Comput. Program. 74(4): 197-218 (2009)

	2009
1		Leo Freitas, Jim Woodcock, Yichi Zhang: Verifying the CICS File Control API with Z/Eves: An experiment in the verified software repository. Sci. Comput. Program. 74(4): 197-218 (2009)

Coauthor Index

1 Leo Freitas (Leonardo Freitas) [1]

2 Jim Woodcock (J. C. P. Woodcock) [1]

1	Leo Freitas (Leonardo Freitas)	[1]
2	Jim Woodcock (J. C. P. Woodcock)	[1]