• DocumentCode
    229685
  • Title

    Contents

  • fYear
    2014
  • fDate
    26-26 Aug. 2014
  • Firstpage
    1
  • Lastpage
    1
  • Abstract
    The following topics are dealt with: legal requirements engineering; legal compliance verification; and law.
  • Keywords
    formal specification; formal verification; law; law; legal compliance verification; legal requirements engineering;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Requirements Engineering and Law (RELAW), 2014 IEEE 7th International Workshop on
  • Conference_Location
    Karlskrona
  • Type

    conf

  • DOI
    10.1109/RELAW.2014.6893471
  • Filename
    6893471