P. Garbett

1999
1	EE	P. Garbett, J. P. Parkes, M. Shackleton, S. Anderson: Secure Synthesis of Code: A Process Improvement Experiment. World Congress on Formal Methods 1999: 1816-1835

Coauthor Index

1	S. Anderson	[1]
2	J. P. Parkes	[1]
3	M. Shackleton	[1]