scientific article; zbMATH DE number 7339673

zbMath1459.68119arXiv1208.2748MaRDI QIDQ4986259

Maciej Gazda, Tim A. C. Willemse

Publication date: 27 April 2021

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

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

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

Abstraction and Abstraction Refinement

This page was built for publication: