Cameron Maxwell, Artem Parakhine, John Leaney. Practical Application of Formal Methods for Specification and Analysis of Software Architecture. In 16th Australian Software Engineering Conference (ASWEC 2005), 31 March - 1 April 2005, Brisbane, Australia. pages 302-311, IEEE Computer Society, 2005. [doi]
@inproceedings{MaxwellPL05, title = {Practical Application of Formal Methods for Specification and Analysis of Software Architecture}, author = {Cameron Maxwell and Artem Parakhine and John Leaney}, year = {2005}, url = {http://csdl.computer.org/comp/proceedings/aswec/2005/2257/00/22570302abs.htm}, tags = {software architecture, architecture, analysis}, researchr = {https://researchr.org/publication/MaxwellPL05}, cites = {0}, citedby = {0}, pages = {302-311}, booktitle = {16th Australian Software Engineering Conference (ASWEC 2005), 31 March - 1 April 2005, Brisbane, Australia}, publisher = {IEEE Computer Society}, isbn = {0-7695-2257-2}, }