Login / Signup

Contracts in System Development: From Multiconcern Analysis to Assurance With the Architecture Analysis and Design Language.

Jérôme HuguesSam Procter
Published in: IEEE Softw. (2022)
Keyphrases