@misc{Lanoix_Arnaud_Trustworthy_2008,
 author={Lanoix, Arnaud and Souquières, Joanine},
 contributor={Huzar, Zbigniew. Redakcja and Madeyski, Lech. Redakcja},
 identifier={DOI: 10.5277/e-informatica},
 year={2008},
 rights={Wszystkie prawa zastrzeżone (Copyright)},
 publisher={Oficyna Wydawnicza Politechniki Wrocławskiej},
 description={e-Informatica Software Engineering Journal, Vol. 2, 2008, Issue 1, s. 10-23},
 language={eng},
 title={Trustworthy Assembly of Components Using the B Refinement},
 type={artykuł},
 keywords={informatyka - czasopisma},
}