Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Book Section
%1 russo00
%A Russo, A.
%A Nuseibeh, B.
%B Software Engineering and Knowledge Engineering
%D 2000
%E Chang, S. K.
%I World Scientific Publishing Corporation
%K logicProgramming automaticDebugging debugging ruleBasedSystems
%T On the Use of Logical Abduction in Software Engineering
%U citeseer.ist.psu.edu/russo00use.html
@incollection{russo00,
added-at = {2007-01-12T15:02:59.000+0100},
author = {Russo, A. and Nuseibeh, B.},
biburl = {https://www.bibsonomy.org/bibtex/240844ec430b974ee354f30ca7be9851c/vzach},
booktitle = { Software Engineering and Knowledge Engineering },
editor = {Chang, S. K.},
interhash = {020813cc23e751af221859b13d19d062},
intrahash = {40844ec430b974ee354f30ca7be9851c},
keywords = {logicProgramming automaticDebugging debugging ruleBasedSystems},
publisher = {World Scientific Publishing Corporation},
timestamp = {2007-01-12T15:02:59.000+0100},
title = {On the Use of Logical Abduction in Software Engineering},
url = {citeseer.ist.psu.edu/russo00use.html},
year = 2000
}