Author: Phillip J. Windley

Phillip J. Windley

Phillip J. Windley

Publications

Publication period start: 1997
Publication period end: 1998
Number of co-authors: 1

Co-authors

Number of publications with favourite co-authors
Paul E. Black
2

Productive Colleagues

Most productive colleagues in number of publications
Paul E. Black
3

Publications

Black, Paul E., Windley, Phillip J. (1997): Verifying Resilient Software. In: HICSS 1997 , 1997, . pp. 262-266. http://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-. http://csdl.computer.org/comp/proceedings/hicss/1998/8239/03/82390327abs.htm