External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

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]

Authors

Andrei Lobov

This author has not been identified. Look up 'Andrei Lobov' in Google

Jose L. Martinez Lastra

This author has not been identified. Look up 'Jose L. Martinez Lastra' in Google
runs on