Jeffery Kulick

According to our database, Jeffery Kulick authored at least 1 paper in 2012.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2012

Formal Modeling and Verification of Security Property in Handel C Program.

Yujian Fu, Jeffery Kulick, Lok K. Yan, Steven Drager

Int. J. Secur. Softw. Eng., 2012