Kimberly Roche

	2008
1		Gregory Kulczycki, Murali Sitaraman, Kimberly Roche, Nighat Yasmin: Formal Specification. Wiley Encyclopedia of Computer Science and Engineering 2008

Coauthor Index

1	Gregory Kulczycki	[1]
2	Murali Sitaraman	[1]
3	Nighat Yasmin	[1]