scientific article; zbMATH DE number 7361356

zbMath1464.68202arXiv1309.5140MaRDI QIDQ4994694

Dimitra Giannakopoulou, Corina S. Păsăreanu

Publication date: 21 June 2021

Full work available at URL: https://arxiv.org/abs/1309.5140

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication: