- Tytuł:
- Trustworthy Assembly of Components using the B Refnement
- Autorzy:
-
Lanoix, A.
Souquiferes, J. - Data publikacji:
- 2008
- Słowa kluczowe:
-
refnement mechanizm
based software
Simple Access Control System - Pokaż więcej
- Dostawca treści:
- BazTech
Artykuł