Structural reasoning in proving system correctness

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

Abstract is missing.