Reference Search

Author: Z. L. Tatlock

	Reference
	J. P. Jacky et al., “Automatic Formal Verification for EPICS”, in Proc. 16th Int. Conf. on Accelerator and Large Experimental Physics Control Systems (ICALEPCS'17), Barcelona, Spain, Oct. 2017, pp. 285-291.

Back to the list