𝔖 Bobbio Scriptorium
✦   LIBER   ✦

[Lecture Notes in Computer Science] B 2007: Formal Specification and Development in B Volume 4355 || Meca: A Tool for Access Control Models

✍ Scribed by Julliand, Jacques; Kouchnarenko, Olga


Book ID
120293384
Publisher
Springer Berlin Heidelberg
Year
2006
Weight
169 KB
Category
Article
ISBN
3540687610

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


[Lecture Notes in Computer Science] B 20
✍ Julliand, Jacques; Kouchnarenko, Olga πŸ“‚ Article πŸ“… 2006 πŸ› Springer Berlin Heidelberg 🌐 English βš– 443 KB

TheseproceedingsrecordthepaperspresentedattheSeventhInternationalC- ference of B Users (B 2007), held in the city of BesanΒΈ con in the east of France. This conference was built on the success of the previous six conferences in this series, B 1996, held at the University of Nantes, France; B 1998, he

[Lecture Notes in Computer Science] ZB 2
✍ Treharne, Helen; King, Steve; Henson, Martin; Schneider, Steve πŸ“‚ Article πŸ“… 2005 πŸ› Springer Berlin Heidelberg 🌐 German βš– 829 KB

This Book Constitutes The Refereed Proceedings Of The 4th International Conference Of Z And B Users, Zb 2005, Held In Guildford, Uk In April 2005. The 25 Revised Full Papers Presented Together With Extended Abstracts Of 2 Invited Papers Were Carefully Reviewed And Selected For Inclusion In The Book.

[Lecture Notes in Computer Science] ZB 2
✍ Treharne, Helen; King, Steve; Henson, Martin; Schneider, Steve πŸ“‚ Article πŸ“… 2005 πŸ› Springer Berlin Heidelberg 🌐 German βš– 829 KB

This Book Constitutes The Refereed Proceedings Of The 4th International Conference Of Z And B Users, Zb 2005, Held In Guildford, Uk In April 2005. The 25 Revised Full Papers Presented Together With Extended Abstracts Of 2 Invited Papers Were Carefully Reviewed And Selected For Inclusion In The Book.