TAPAS 2019: THE TENTH WORKSHOP ON TOOLS FOR AUTOMATIC PROGRAM ANALYSIS
PROGRAM
AUTHORS
KEYWORDS
SLIDES
room Google
main APCC building
Sessions
Session
(Oct 08 09:15-09:30)
Welcome
Session 1
(Oct 08 09:30-10:00)
Invited talk
Session 2
(Oct 08 10:30-12:30)
Session 3
(Oct 08 14:00-15:00)
Invited talk (shared with NSAD)
Session 4
(Oct 08 15:30-16:00)
Invited talk
Session 5
(Oct 08 16:00-17:30)
Disclaimer
|
Powered by EasyChair Smart Program