| 2009 | ||
|---|---|---|
| 2 | Benjamin Delaware, William R. Cook, Don S. Batory: Fitting the pieces together: a machine-checked model of safe composition. ESEC/SIGSOFT FSE 2009: 243-252 | |
| 1 | Benjamin Delaware, William R. Cook, Don S. Batory: A machine-checked model of safe composition. FOAL 2009: 31-35 | |
| 1 | Don S. Batory | [1] [2] |
| 2 | William R. Cook | [1] [2] |