Formal Derivation of Functional Architectural Design. Khedri, R. and Bourguiba, I. In 2nd IEEE International Conference on Software Engineering and Formal Methods, pages 356 – 365, Beijing, China, September 26 – 30, 2004. IEEE Computer Society Press.
bibtex   
@inproceedings{KhedriBourguiba2004b,
	Address = {Beijing, China},
	Author = {Ridha Khedri and Imen Bourguiba},
	Booktitle = {2nd IEEE International Conference on Software Engineering and Formal Methods},
	Month = {September 26 -- 30},
	Pages = {356 -- 365},
	Publisher = {IEEE Computer Society Press},
	Title = {Formal Derivation of Functional Architectural Design},
	Year = 2004}
Downloads: 0