scientific article; zbMATH DE number 7453195

MaRDI QIDQ5020656

Dimitur Nikolaev Krustev

Publication date: 6 January 2022

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

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

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Uses Software

• Refal

Cites Work

• Unnamed Item
• Multi-result Supercompilation as Branching Growth of the Penultimate Level in Metasystem Transitions
• The concept of a supercompiler

This page was built for publication: