| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2010 | |
|---|---|---|
| 3 |      | George Hacken, Joshua Scott: Design: Proof-Based Certification. Encyclopedia of Software Engineering 2010: 220-230 |
| 2009 | ||
| 2 | | George Hacken: Quantum computation and quantum communication: theory and experiments Author of book: Mladen Pavicic. SIGACT News 40(4): 10-14 (2009) |
| 2006 | ||
| 1 | | George Hacken: Review of "High-Assurance Design: Architecting Secure and Reliable Enterprise Applications by Clifford Berg, " Addison-Wesley Professional, 2005, ISBN: 0321375777. ACM Queue 4(4): 50 (2006) |
| 1 | Joshua Scott | [3] |
Data released under the ODC-BY 1.0 license — See also our legal information page