%0 Conference Paper %1 conf/aswec/MaxwellPL05 %A Maxwell, Cameron %A Parakhine, Artem %A Leaney, John %B Australian Software Engineering Conference %D 2005 %I IEEE Computer Society %K dblp %P 302-311 %T Practical Application of Formal Methods for Specification and Analysis of Software Architecture. %U http://dblp.uni-trier.de/db/conf/aswec/aswec2005.html#MaxwellPL05 %@ 0-7695-2257-2

@inproceedings{conf/aswec/MaxwellPL05, added-at = {2023-03-24T00:00:00.000+0100}, author = {Maxwell, Cameron and Parakhine, Artem and Leaney, John}, biburl = {https://www.bibsonomy.org/bibtex/2a858c39fce80cb8f65821cd4710a9837/dblp}, booktitle = {Australian Software Engineering Conference}, crossref = {conf/aswec/2005}, ee = {https://doi.ieeecomputersociety.org/10.1109/ASWEC.2005.37}, interhash = {e47ef3b5bb5f9127e62cad0be95bf920}, intrahash = {a858c39fce80cb8f65821cd4710a9837}, isbn = {0-7695-2257-2}, keywords = {dblp}, pages = {302-311}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T04:12:31.000+0200}, title = {Practical Application of Formal Methods for Specification and Analysis of Software Architecture.}, url = {http://dblp.uni-trier.de/db/conf/aswec/aswec2005.html#MaxwellPL05}, year = 2005 }