STORE
search
⌘K
Explore
Salon
Quotes
Lists
Reviews
Writings
—
Changelog
About
Contact
Privacy
Donate
Bachir Berkane | lit.salon
Bachir Berkane
No bio available.
Add one in Open Library.
Books by Bachir Berkane (50 max)
+ shelf
+ list
Hierarchical Annotated Action Diagrams: An Interface-Oriented Specification and Verification Method
1998
Eduard Cerny, Bachir Berkane, Pierre Girodias, Karim Khordoc
