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;
Conference_Titel :
Requirements Engineering and Law (RELAW), 2014 IEEE 7th International Workshop on
Conference_Location :
Karlskrona
DOI :
10.1109/RELAW.2014.6893471
