BibTeX record conf/iccwcs/AbdellatifCTM17

• > Home > conf/iccwcs/AbdellatifCTM17

@inproceedings{DBLP:conf/iccwcs/AbdellatifCTM17,
  author       = {Lasbahani Abdellatif and
                  Mostafa Chhiba and
                  Abdelmoumen Tabyaoui and
                  Oussama Mjihil},
  editor       = {Jamal Zbitou and
                  Setti Larbi and
                  El Mokhtar En{-}Naimi},
  title        = {A New Extension of Larman's Operation Contracts for Security Properties
                  Injection and Verification during the System's Internal Behavior Elaboration},
  booktitle    = {Proceedings of the 2nd International Conference on Computing and Wireless
                  Communication Systems, ICCWCS'17, Larache, Morocco, November 14-16,
                  2017},
  pages        = {33:1--33:7},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3167486.3167519},
  doi          = {10.1145/3167486.3167519},
  timestamp    = {Sat, 09 Apr 2022 12:37:35 +0200},
  biburl       = {https://dblp.org/rec/conf/iccwcs/AbdellatifCTM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}