scientific article; zbMATH DE number 1953025

zbMath1022.68077MaRDI QIDQ4414383

Francesca Levi

Publication date: 25 July 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2575/25750102.htm

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)

A typed encoding of boxed into safe ambients

This page was built for publication: