Development of automated methods for specification extraction from programs
Forskningsprojekt, 2012

Beskrivning saknas.

Deltagare

Koen Lindström Claessen (kontakt)

Programvaruteknik

Dan Rosén

Programvaruteknik

Finansiering

Microsoft Research

Finansierar Chalmers deltagande under 2012

Mer information

Senast uppdaterat

2017-12-20