scientific article; zbMATH DE number 1500561

zbMath0959.68077MaRDI QIDQ4501582

Fairouz Kamareddine, François Monin

Publication date: 4 September 2000

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

zbMATH Keywords

automated termination of a recursive function

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

On automating the extraction of programs from proofs using product types

Uses Software

• Unnamed Item

This page was built for publication: