Vol-1563⫷ Vol-1564 ⫸Vol-1565
urn:nbn:de:0074-1564-0


Vol-1564/paper19⫷Vol-1564/paper20⫸Vol-1564/paper21
Martin BöschenRalf BoguschAnabel FragaChristian Rudat

Bridging the Gap between Natural Language Requirements and Formal Specifications