Constraint-based Specification Repair
The SpecRep projects aims at promoting the correct formal specification of software components, an essential step for the development of reliable software.
The SpecRep projects aims at promoting the correct formal specification of software components, an essential step for the development of reliable software.
The access to the final selection minute is only available to applicants.
Please check the confirmation e-mail of your application to obtain the access code.