|
Jan 10, 2012, 5:44 AM
|
Johannes Kinder edited Syllabus
|
|
Jan 10, 2012, 5:44 AM
|
Johannes Kinder edited Syllabus
|
|
Jan 10, 2012, 5:44 AM
|
Johannes Kinder attached Trevis_Alleyne_Concurrency_Testing.pdf to Syllabus
|
|
Jan 10, 2012, 5:43 AM
|
Johannes Kinder edited Syllabus
|
|
Jan 10, 2012, 5:41 AM
|
Johannes Kinder edited OP12: Now, Which Technology to Use?
|
|
Jan 10, 2012, 5:41 AM
|
Johannes Kinder edited One-Pagers
|
|
Jan 10, 2012, 4:07 AM
|
Johannes Kinder edited OP12: Now, Which Technology to Use?
|
|
Jan 10, 2012, 4:05 AM
|
Johannes Kinder created favorite
|
|
Jan 9, 2012, 10:41 AM
|
Johannes Kinder edited One-Pagers
|
|
Jan 9, 2012, 10:40 AM
|
Johannes Kinder edited OP11: A New Consistency Model
|
|
Jan 9, 2012, 10:33 AM
|
Johannes Kinder attached op11.png to favorite
|
|
Jan 9, 2012, 10:30 AM
|
Johannes Kinder created favorite
|
|
Jan 5, 2012, 8:53 AM
|
Johannes Kinder edited One-Pagers
|
|
Jan 5, 2012, 8:52 AM
|
Johannes Kinder edited OP10: Engineering Higher-Order Test Generation
|
|
Jan 5, 2012, 8:51 AM
|
Johannes Kinder edited OP10: Engineering Higher-Order Test Generation
|
|
Jan 5, 2012, 8:45 AM
|
Johannes Kinder created favorite
|
|
Dec 14, 2011, 5:47 AM
|
Johannes Kinder edited Syllabus
|
|
Dec 14, 2011, 5:47 AM
|
Johannes Kinder edited Syllabus
|
|
Dec 14, 2011, 5:47 AM
|
Johannes Kinder attached Andrii_Vozniuk_Symbolic_Reasoning_and_Concrete_Execution.pdf to Syllabus
|
|
Dec 14, 2011, 5:47 AM
|
Johannes Kinder edited Syllabus
|
|
Dec 10, 2011, 4:07 AM
|
Johannes Kinder edited One-Pagers
|
|
Dec 10, 2011, 4:06 AM
|
Johannes Kinder edited Now, Which Technology to Use?
|
|
Dec 10, 2011, 4:05 AM
|
Johannes Kinder edited Now, which technology to use?
|
|
Dec 10, 2011, 4:04 AM
|
Johannes Kinder edited Which one will you use?
|
|
Dec 10, 2011, 3:57 AM
|
Johannes Kinder created Which one will you use?
|
|
