Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007) Journal

publication venue for

• An ought-to-do deontic logic for reasoning about fault-tolerance: the diarrheic philosophers 2007
• Hardness for Explicit State Software Model Checking Benchmarks 2007