Jeffery Kulick

Publication Activity (10 Years)

Years Active: 2012-2012
Publications (10 Years): 0

Top Topics

Hardware Designs

Formal Specification

Top Venues

Int. J. Secur. Softw. Eng.

Publications

Yujian Fu, Jeffery Kulick, Lok K. Yan, Steven Drager
Formal Modeling and Verification of Security Property in Handel C Program. Int. J. Secur. Softw. Eng. 3 (3) (2012)