@inproceedings{inproceedings, author = {Corriveau, Jean-Pierre and Radonjic, Vojislav and Shi, Wei}, year = {2014}, month = {05}, title = {Requirements verification: Legal challenges in compliance testing}, booktitle = {2014 IEEE International Conference on Progress in Informatics and Computing}, address = {Shanghai, China}, doi = {10.1109/PIC.2014.6972376} }