Workshop on Evolutionary Formal Software Development

@booklet{pub1630,
    author = {

Hutter, Dieter
 and 

Basin, David
 and 

Lüth, Christoph
 and 

Lindsay, Peter
},
    title = {Workshop on Evolutionary Formal Software Development},
    year = {2002}
}