Trustworthy Assembly of Components Using the B Refinement - Lanoix, Arnaud; Souquières, Joanine (Oficyna Wydawnicza Politechniki Wrocławskiej, 2008)
e-Informatica Software Engineering Journal, Vol. 2, 2008, Issue 1, s. 10-23
Keywords: informatyka - czasopisma