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.

Arguing on Software-Level Verification Techniques Appropriateness

Carmen Cârlan, Barbara Gallina, Severin Kacianka, Ruth Breu. Arguing on Software-Level Verification Techniques Appropriateness. In Stefano Tonetta, Erwin Schoitsch, Friedemann Bitsch, editors, Computer Safety, Reliability, and Security - 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings. Volume 10488 of Lecture Notes in Computer Science, pages 39-54, Springer, 2017. [doi]

Authors

Carmen Cârlan

This author has not been identified. Look up 'Carmen Cârlan' in Google

Barbara Gallina

This author has not been identified. Look up 'Barbara Gallina' in Google

Severin Kacianka

This author has not been identified. Look up 'Severin Kacianka' in Google

Ruth Breu

This author has not been identified. Look up 'Ruth Breu' in Google
runs on