Steve McKeever

Personal Homepage
Employer
()
Email

Publication Statistics

Publication period start
2003
Publication period end
2003
Number of co-authors
2

Co-authors
Number of publications with favourite co-authors

Productive Colleagues
Most productive colleagues in number of publications

Publications

McKeever, Steve, Luk, Wayne, Derbyshire, Arran (2003): Towards Verifying Parametrised Hardware Libraries with Relative Placement Information. In: HICSS 2003 , 2003, . pp. 279. http://csdl.computer.org/comp/proceedings/hicss/2003/1874/09/187490279cabs.htm