David R. Cok

2005
6	EE	David R. Cok: Reasoning with specifications containing method calls and model fields. Journal of Object Technology 4(8): 77-103 (2005)
5	EE	Lilian Burdy, Yoonsik Cheon, David R. Cok, Michael D. Ernst, Joseph R. Kiniry, Gary T. Leavens, K. Rustan M. Leino, Erik Poll: An overview of JML tools and applications. STTT 7(3): 212-232 (2005)
4	EE	Gary T. Leavens, Yoonsik Cheon, Curtis Clifton, Clyde Ruby, David R. Cok: How the design of JML accommodates both runtime assertion checking and formal verification. Sci. Comput. Program. 55(1-3): 185-208 (2005)
2004
3	EE	David R. Cok, Joseph Kiniry: ESC/Java2: Uniting ESC/Java and JML. CASSIS 2004: 108-128
2003
2	EE	Lilian Burdy, Yoonsik Cheon, David R. Cok, Michael D. Ernst, Joseph Kiniry, Gary T. Leavens, K. Rustan M. Leino, Erik Poll: An overview of JML tools and applications. Electr. Notes Theor. Comput. Sci. 80: (2003)
2002
1	EE	Gary T. Leavens, Yoonsik Cheon, Curtis Clifton, Clyde Ruby, David R. Cok: How the Design of JML Accomodates Both Runtime Assertion Checking and Formal Verification. FMCO 2002: 262-284

Coauthor Index

1	Lilian Burdy	[2] [5]
2	Yoonsik Cheon	[1] [2] [4] [5]
3	Curtis Clifton	[1] [4]
4	Michael D. Ernst	[2] [5]
5	Joseph Kiniry (Joseph R. Kiniry)	[2] [3] [5]
6	Gary T. Leavens	[1] [2] [4] [5]
7	K. Rustan M. Leino	[2] [5]
8	Erik Poll	[2] [5]
9	Clyde Ruby	[1] [4]