jff
commented
3 years ago Thanks for your submission! Your course is now listed in the public database.
Open mcarro opened 3 years ago
jff
commented
3 years ago Thanks for your submission! Your course is now listed in the public database.
Course code, if applicable: University hosting the course: Universidad Politécnica de Madrid / Technical University of Madrid Contact person: Manuel Carro Liñares, manuel.carro@upm.es Concepts taught: Applied Formal Methods,B Method,Constraint Logic Programming,Data Refinement,Deductive Software Verification,Interactive Theorem Proving,Logic,Logic Programming,Theorem Proving Tools used: Prolog,Rodin Webpage: https://wp.software.imdea.org/cbc/ Year/Level: MSc Reviewed: 2021/09/03