Development of automated methods for specification extraction from programs

Description missing.

Participants

Koen Lindström Claessen (contact)

Professor vid Software Technology (Chalmers)

Dan Rosén

Doktorand vid Software Technology (Chalmers)

Funding

Microsoft Research

Funding Chalmers participation during 2012 with 53,250.00 SEK

More information

Latest update

2017-12-20