Jeff Lewis

	2007
2		Jeff Lewis: Cryptol: specification, implementation and verification of high-grade cryptographic applications. FMSE 2007: 41
	1999
1		Kurt Keutzer, Kurt Wolf, David Pietromonaco, Jay Maxey, Jeff Lewis, Martin Lefebvre, Jeff Burns: Panel: Cell Libraries - Build vs. Buy; Static vs. Dynamic. DAC 1999: 341-342

Coauthor Index

1	Jeff Burns	[1]
2	Kurt Keutzer	[1]
3	Martin Lefebvre	[1]
4	Jay Maxey	[1]
5	David Pietromonaco	[1]
6	Kurt Wolf	[1]

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page