scientific article

zbMath0966.68514MaRDI QIDQ2703712

Ian A. Mason, Carolyn L. Talcott

Publication date: 16 July 2001

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 (3)

Rewriting logic: Roadmap and bibliography ⋮ Joshua Guttman: pioneering strand spaces ⋮ Unnamed Item

Uses Software

• SPIN
• PVS
• Maude

This page was built for publication: