Author: Phillip J. Windley
Publications
Publication period start: 1998
Number of co-authors: 1
Co-authors
Number of
publications with favourite co-authors
Productive Colleagues
Most productive
colleagues in number of publications
Publications
Black, Paul E., Windley, Phillip J. (1997): Verifying Resilient Software. In: HICSS 1997 , 1997, . pp. 262-266. https://csdl.computer.org/comp/proceedings/hicss/1997/7734/05/7734050262abs.htm
Black, Paul E., Windley, Phillip J. (1998): Formal Verification of Secure Programs in the Presence of Side Effects. In: HICSS 1998 , 1998, . pp. 327-. https://csdl.computer.org/comp/proceedings/hicss/1998/8239/03/82390327abs.htm