| Parent directory/ | - | - |
| Ada_Task_Pools_Multithreading_Made_Easy.webm | 376M | 2014-Feb-18 06:11 |
| Ada_in_BSD.webm | 166M | 2014-Oct-22 08:14 |
| Ada_in_Debian_Linux.webm | 62M | 2014-Apr-03 20:27 |
| Ada_in_Fedora_Linux.webm | 109M | 2014-Apr-03 21:27 |
| Contract_Based_Programming_in_Ada_2012.webm | 475M | 2014-Feb-22 12:19 |
| Formal_Verification_with_Ada_2012_a_Very_Simple..> | 199M | 2014-Feb-22 11:34 |
| Introduction_to_Ada_for_Beginning_and_Experienc..> | 417M | 2014-Feb-18 06:47 |
| SPARK_2014_Hybrid_Verification_using_Proofs_and..> | 387M | 2014-Feb-18 06:47 |
| Safer_Web_Servers_with_Ada_and_AWS.webm | 437M | 2014-Jul-27 13:29 |
| Speedup_and_Quality_Up_with_Ada_Tasking.webm | 139M | 2014-Jul-27 13:29 |
| Welcome.webm | 19M | 2014-Mar-14 18:11 |
| Wrap_Up_Future_Plans.webm | 4M | 2014-Oct-22 08:14 |
