@inproceedings{Russo:2000, author = {Russo, AM and Miller, RS and Nuseibeh, B and Kramer, J}, title = {An Abductive Approach for Handling Inconsistencies in SCR Specifications}, year = {2000} }
TY - CPAPER AU - Russo,AM AU - Miller,RS AU - Nuseibeh,B AU - Kramer,J PY - 2000/// TI - An Abductive Approach for Handling Inconsistencies in SCR Specifications ER -