6th – 11th July 2020
The 42nd International Conference on Software Engineering will not be held at Seoul, Korea as originally planned but be a virtual event.
Tuesday, 7th July 2020 07:36 – 07:48 at Silla – I3-SEIS-Engineering tools for Society Chair(s): Seok-Won Lee
From Abstract Specifications to Application Generation
Speaker: Jose Miguel Pérez-Álvarez and Adrian Mos
Publication