Course code, if applicable:
University hosting the course: University of La Rioja
Contact person: Ana Romero, ana.romero@unirioja.es
Concepts taught: Data Structures,Deductive Software Verification,Formal Specification,Hoare Logic,Software Verification,Specification
Tools used: Java,JML,Why3,Krakatoa
Webpage: https://aps.unirioja.es/GuiasDocentes/servlet/agetguiahtml?2019-20,801G,830 (in Spanish)
Year/Level: 2
Reviewed: 2022/03/30
Course code, if applicable: University hosting the course: University of La Rioja Contact person: Ana Romero, ana.romero@unirioja.es Concepts taught: Data Structures,Deductive Software Verification,Formal Specification,Hoare Logic,Software Verification,Specification Tools used: Java,JML,Why3,Krakatoa Webpage: https://aps.unirioja.es/GuiasDocentes/servlet/agetguiahtml?2019-20,801G,830 (in Spanish) Year/Level: 2 Reviewed: 2022/03/30