APA aipamena

Mateescu, R. π-AAL: An architecture analysis language for formally specifying and verifying structural and behavioural properties of software architectures. Software engineering notes..

Chicago Style aipamena

Mateescu, Radu. "π-AAL: An Architecture Analysis Language for Formally Specifying and Verifying Structural and Behavioural Properties of Software Architectures." Software Engineering Notes. .

MLA aipamena

Mateescu, Radu. "π-AAL: An Architecture Analysis Language for Formally Specifying and Verifying Structural and Behavioural Properties of Software Architectures." Software Engineering Notes., .