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.

A Language-Based Causal Model for Safety

Marcello M. Bonsangue, Georgiana Caltais, Hui Feng, Hünkar Can Tunç. A Language-Based Causal Model for Safety. In Yamine Aït Ameur, Florin Craciun, editors, Theoretical Aspects of Software Engineering - 16th International Symposium, TASE 2022, Cluj-Napoca, Romania, July 8-10, 2022, Proceedings. Volume 13299 of Lecture Notes in Computer Science, pages 290-307, Springer, 2022. [doi]

Authors

Marcello M. Bonsangue

This author has not been identified. Look up 'Marcello M. Bonsangue' in Google

Georgiana Caltais

This author has not been identified. Look up 'Georgiana Caltais' in Google

Hui Feng

This author has not been identified. Look up 'Hui Feng' in Google

Hünkar Can Tunç

This author has not been identified. Look up 'Hünkar Can Tunç' in Google
runs on