Chyuan Samuel Hsieh

	1996
3		Chyuan Samuel Hsieh, Elizabeth A. Unger: On the control structure of a program slice. Journal of Systems and Software 34(2): 123-126 (1996)
	1988
2		Chyuan Samuel Hsieh, Elizabeth A. Unger: Resource scheduling: specification and proof techniques. ACM Conference on Computer Science 1988: 429-437
	1987
1		Chyuan Samuel Hsieh, Elizabeth A. Unger: Manifolds: a very high-level conceptual framework of interprocess synchronization and communication. ACM Conference on Computer Science 1987: 196-204

Coauthor Index

1

Elizabeth A. Unger

[1] [2] [3]