Edgar Pek

From FSL
Jump to: navigation, search

Edgar Pek graduated with a PhD degree from UIUC.

Runtime Verification at Work: A Tutorial 
Philip Daian and Dwight Guth and Chris Hathhorn and Yilong Li and Edgar Pek and Manasvi Saxena and Traian Florin Serbanuta and Grigore Rosu
RV'16, LNCS 10012, pp 46-67. 2016
PDF, Slides(PPTX), RV Products, DOI, RV'16, BIB

Personal tools
Namespaces

Variants
Actions
Navigation