published in Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007) Journal
presented at event Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007) Conference
keywords 46 Information and Computing Sciences 4602 Artificial Intelligence 50 Philosophy and Religious Studies 5003 Philosophy