WE HAVE CHANGED! Home | Search | Help  
Home Page Università di Genova
The Department
Research
Education
Library and services
Events and seminars
  DISI -> Research -> Areas -> Software development methods

Research area: Software development methods

This is a list of current research topics. Click on a topic title to view a description.

Best practices meet formal methods
Constraint-based verification
Formal techniques