Index of /gargantini/didattica/swtestandver/restricted/appunti22_23/3_code_verification

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]3_0_logicforreasoning_verification.pdf2023-03-07 15:29 151K 
[ ]3_0_logicforreasoning_verification_handoutgen.pdf2023-03-07 15:29 142K 
[ ]3_0_logicforreasoning_verification_notes.pdf2023-03-22 21:43 281K 
[ ]3_0_logicforreasoning_verification_presentation.pdf2023-03-22 21:44 400K 
[ ]3_1_DBC_JML_slides.pdf2023-04-11 18:57 614K 
[ ]3_1_JML_Guida.pdf2023-03-07 15:29 253K 
[ ]3_2_OpenJMLUserGuide.pdf2023-04-11 19:26 748K 
[ ]3_2_code_verification_TODO.pdf2023-04-11 19:26 46K 
[ ]3_2_code_verification_TODO_handoutgen.pdf2023-04-11 19:26 24K 
[ ]3_2_code_verification_TODO_slidesgen.pdf2023-04-11 19:26 25K 
[ ]3_2_openJML_Reference_Manual.pdf2023-04-11 19:26 852K 
[ ]3_2_quicktourJMLKEY.pdf2023-03-07 15:29 671K 
[ ]3_2_quicktourJMLKEY_SKIP.pdf2023-04-11 19:26 671K 
[ ]3_2_verificaProgrammi.pdf2023-03-07 15:29 515K 
[ ]3_2_verificaProgrammiOpenJML.pdf2023-04-11 19:22 548K 
[ ]3_3_static_analyisis_notes.pdf2023-04-26 23:09 188K 
[ ]3_3_static_analysis.pdf2023-03-07 15:29 151K 
[ ]3_3_static_analysis_handoutgen.pdf2023-03-07 15:29 164K 
[ ]3_3_static_analysis_presentation.pdf2023-04-26 23:06 472K 
[ ]3_4_inspection.pdf2023-03-07 15:29 92K 
[ ]3_4_inspection_handoutgen.pdf2023-03-07 15:29 64K 
[ ]3_4_inspection_notes.pdf2023-04-26 23:11 104K 
[ ]3_4_inspection_presentation.pdf2023-04-26 23:10 134K 
Apache/2.4.41 (Ubuntu) Server at cs.unibg.it Port 443