Vol-3016⫷ Vol-3017 ⫸Vol-3018
urn:nbn:de:0074-3017-0


Vol-3017/demos92⫷Vol-3017/demos98⫸Vol-3017/demos99
Kuruvilla George AiyankovilRosemary MonahanDiarmuid P. O'Donoghue

Upcycling Formal Specifications for Similar Implementations with Arís