Constraint-based Specification Repair
The SpecRep project aims to promote the correct formal specification of software components necessary for reliable software development.
The SpecRep project aims to promote the correct formal specification of software components necessary for reliable software development.
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.