scientific article; zbMATH DE number 1487841

zbMath0956.68135MaRDI QIDQ4494365

Fairouz Kamareddine, François Monin

Publication date: 10 August 2000

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

zbMATH Keywords

theorem proversproof checkersProPre system

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: