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