Development of automated methods for specification extraction from programs

See Swedish site for more information.

Start date 01/03/2012
End date The project is closed: 31/05/2012

Published: Thu 31 May 2018.