Trustworthy Assembly of Components Using the B Refinement
Group publication title:e-Informatica Software Engineering Journal
Creator:Lanoix, Arnaud ; Souquières, Joanine
Contributor:Huzar, Zbigniew. Redakcja ; Madeyski, Lech. Redakcja
Subject and Keywords: Description:e-Informatica Software Engineering Journal, Vol. 2, 2008, Issue 1, s. 10-23
Publisher:Oficyna Wydawnicza Politechniki Wrocławskiej
Place of publication: Date: Resource Type: Format: Resource Identifier: Source:<sygn. PWr A6031III> ; click here to follow the link ; click here to follow the link
Language: Relation:e-Informatica Software Engineering Journal ; e-Informatica Software Engineering Journal, Vol. 2, 2008, Issue 1
Rights:Wszystkie prawa zastrzeżone (Copyright)
Access Rights:Dla wszystkich w zakresie dozwolonego użytku
Location: