Philippe Michelin, Marc Frappier. Distinction-based and verification-assisted knowledge modeling. In Third International Workshop on Requirements Engineering and Law, RELAW 2010, Sydney, NSW, Australia, September 28, 2010. pages 11-16, IEEE, 2010. [doi]
Abstract is missing.