EPICS Collaboration Meeting

Name: EPICS Collaboration Meeting
Start: 2016-09-16T08:00:00-04:00
End: 2016-09-23T18:00:00-04:00
Location: Oak Ridge National Laboratory

16–23 Sept 2016

Oak Ridge National Laboratory

US/Eastern timezone

Overview
Travel, Directions, Hotels
Timetable
Contribution List
Author List
Participant List

Support

johnsonmc@ornl.gov

Details for Emina Torlak

Title: Prof.

Affiliation: University of Washington Department of Computer Science

Automatic Formal Verification for EPICS

EPICS Collaboration Meeting

Support

Author in the following contribution