Skip to Main Content
Quick Links
Alumni & Friends
Community
Current Students
Faculty & Staff
Parents & Family
Prospective Students
Campus Resources
Go to Charlotte.edu
My UNC Charlotte
Directory
Campus Events
Library
Prospective Students
About UNC Charlotte
Campus Life
Admissions
Graduate Admissions
Faculty and Staff
Human Resources
Auxiliary Services
Inside UNC Charlotte
Academic Affairs
Current Students
Athletics
Financial Aid
Advising
Student Health
Alumni and Friends
Alumni Association
Advancement
Foundation
Make a Gift
Close This Drawer
Search
Visit Charlotte.edu
CyberDNA Center
The College of Computing and Informatics
Main Menu
Home
Resources
Research
Members
Events
News
Finding Software Bugs through Semantic Cross-Checking
May 5, 2017
Categories:
Events
,
Seminar Series
Tags:
Seminar Series
Event Date:
May 5, 2017 – 12:30 PM to 1:30 PM
Location:
woodward 335