Axel van Lamsweerde

Axel van Lamsweerde

Professor Emeritus, ICTEAM Institute, EPL, Université catholique de Louvain
Verified email at uclouvain.be
Cited by 18584
Software engineering requirements rengineering system modeling high assurance systems formal methods
Antoine Cailliau

Antoine Cailliau

Université catholique de Louvain, ICTEAM, EPL, INGI
Verified email at uclouvain.be
Cited by 255
Software engineering requirements rengineering system modeling formal methods