BibTeX record conf/jurix/ArdilaG17

• > Home > conf/jurix/ArdilaG17

@inproceedings{DBLP:conf/jurix/ArdilaG17,
  author       = {Julieth Patricia Castellanos Ardila and
                  Barbara Gallina},
  editor       = {V{\'{\i}}ctor Rodr{\'{\i}}guez{-}Doncel and
                  Pompeu Casanovas and
                  Jorge Gonz{\'{a}}lez{-}Conejero},
  title        = {Formal Contract Logic Based Patterns for Facilitating Compliance Checking
                  against {ISO} 26262},
  booktitle    = {Proceedings of the 1st Workshop on Technologies for Regulatory Compliance
                  co-located with the 30th International Conference on Legal Knowledge
                  and Information Systems {(JURIX} 2017), Luxembourg, December 13, 2017},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2049},
  pages        = {65--72},
  publisher    = {CEUR-WS.org},
  year         = {2017},
  url          = {https://ceur-ws.org/Vol-2049/07paper.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:15 +0100},
  biburl       = {https://dblp.org/rec/conf/jurix/ArdilaG17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}