@inproceedings{conf/aswec/MaxwellPL05,
	title = {Practical Application of Formal Methods for Specification and Analysis of Software Architecture.},
	author = {Cameron Maxwell and Artem Parakhine and John Leaney},
	booktitle = {Australian Software Engineering Conference},
	crossref = {conf/aswec/2005},
	pages = {302-311},
	publisher = {IEEE Computer Society},
	url = {http://dblp.uni-trier.de/db/conf/aswec/aswec2005.html#MaxwellPL05},
	year = {2005},
	biburl = {http://www.bibsonomy.org/bibtex/2a858c39fce80cb8f65821cd4710a9837/dblp},
	description = {dblp},
	ee = {http://csdl.computer.org/comp/proceedings/aswec/2005/2257/00/22570302abs.htm}, isbn = {0-7695-2257-2}, date = {2005-04-20},
	keywords = {dblp }
}