scientific article

zbMath0977.68521MaRDI QIDQ2763675

François Pottier, Sylvain Conchon

Publication date: 21 January 2002

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2028/20280221

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

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

A generic type system for the pi-calculus ⋮ A descriptive type foundation for RDF Schema

This page was built for publication: