Software Verification and Validation Lab
Room 205 Hardymon Building
301 Rose Street
University of Kentucky
Lexington, KY 40506-0495

Phone: (859) 257-3859 ext. 80056

Click here for map