Andrei Lobov, Jose L. Martinez Lastra. Structural reasoning in proving system correctness. In Proceedings of 12th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2007, September 25-28, 2007, Patras, Greece. pages 681-688, IEEE, 2007. [doi]
Abstract is missing.