Development of automated methods for specification extraction from programs

Se engelsk sida för mer information.

Startdatum 2012-03-01
Slutdatum Projektet är avslutat: 2012-05-31

Publicerad: to 31 maj 2018.