Index of /pub/fosdem-video/2014/K4601/Saturday

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