scientific article; zbMATH DE number 1863380

zbMath1005.68527MaRDI QIDQ4790655

Christoph Kreitz, Robbert van Renesse, Xiaoming Liu, Mark Bickford

Publication date: 4 February 2003

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

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

Mathematics Subject Classification ID

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

Related Items

Innovations in computational type theory using Nuprl

Uses Software

• ACL2
• Isabelle
• PVS
• HOL
• Nuprl
• Horus