Index of /fosdem/2014/K4601/Saturday

 Name                                                               Last modified      Size  Description
 Parent Directory                                                                        -   
 Contract_Based_Programming_in_Ada_2012.webm                        2014-02-22 13:19  475M  
 Safer_Web_Servers_with_Ada_and_AWS.webm                            2014-07-27 15:29  437M  
 Introduction_to_Ada_for_Beginning_and_Experienced_Programmers.webm 2014-02-18 07:47  417M  
 SPARK_2014_Hybrid_Verification_using_Proofs_and_Tests.webm         2014-02-18 07:47  387M  
 Ada_Task_Pools_Multithreading_Made_Easy.webm                       2014-02-18 07:11  376M  
 Formal_Verification_with_Ada_2012_a_Very_Simple_Case_Study.webm    2014-02-22 12:34  199M  
 Ada_in_BSD.webm                                                    2014-10-22 10:14  166M  
 Speedup_and_Quality_Up_with_Ada_Tasking.webm                       2014-07-27 15:29  139M  
 Ada_in_Fedora_Linux.webm                                           2014-04-03 23:27  109M  
 Ada_in_Debian_Linux.webm                                           2014-04-03 22:27   62M  
 Welcome.webm                                                       2014-03-14 19:11   19M  
 Wrap_Up_Future_Plans.webm                                          2014-10-22 10:14  4.2M