| 2012 | ||
|---|---|---|
| i1 | Eric Braude: Weakest Preconditions and Cumulative Subgoal Fulfillment: A Comparison. CoRR abs/1204.5436 (2012) | |
| 2009 | ||
| c1 | Dino Konstantopoulos, John Marien, Mike Pinkerton, Eric Braude: Best Principles in the Design of Shared Software. COMPSAC (2) 2009: 287-292 | |
| 1 | Dino Konstantopoulos | |
| 2 | John Marien | |
| 3 | Mike Pinkerton |
Data released under the ODC-BY 1.0 license — See also our legal information page