Axel van Lamsweerde

Axel van Lamsweerde is a Belgian computer scientist renowned for his pioneering work in requirements engineering and formal methods for software systems.

Referenced by (1)

Full triples — surface form annotated when it differs from this entity's canonical label.