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