scientific article

From MaRDI portal

Publication:2994226

Jump to:navigation, search

zbMath1349.68115MaRDI QIDQ2994226

Hengyang Wu, Yi-Xiang Chen

Publication date: 10 August 2016

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

zbMATH Keywords

formal semantics predicate transformer imperative language contract language

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55)

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:2994226&oldid=16008394"