scientific article; zbMATH DE number 7149819

zbMath1433.68218arXiv1212.3879MaRDI QIDQ5208779

Jurriaan Rot, Dorel Lucanu, Marcello M. Bonsangue, Irina Măriuca Asăvoae, Frank S. de Boer

Publication date: 10 January 2020

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

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

Mathematics Subject Classification ID

Theory of programming languages (68N15) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

From Rewriting Logic, to Programming Language Semantics, to Program Verification

This page was built for publication: