Index of /~degiacom/didattica/metodiformali/aa2014-15/materiale/3-Pre-Post-program-analysis/references

Icon  Name                                                                                Last modified      Size  Description
[DIR] Parent Directory                                                                                         -   
[   ] HoareLogicWikipedia.pdf                                                             13-Nov-2013 09:00  133K  
[   ] Plotkin-SOS_jlap.pdf                                                                13-Nov-2013 09:03  612K  
[   ] FloydMeaning.pdf                                                                    13-Nov-2013 08:59  668K  
[   ] Hoare-CACM-69.pdf                                                                   13-Nov-2013 09:00  871K  
[   ] ScottStratchey71.pdf                                                                13-Nov-2013 19:54  8.2M  
[   ] Hennessy-sembook.pdf                                                                13-Nov-2013 09:06   65M