ArcAngelC

swMATH6338MaRDI QIDQ18466

No author found.

Described by source

• A tactic language for refinement of state-rich concurrent specifications

Related Items (4)

Mechanised support for sound refinement tactics ⋮ Automating Refinement of Circus Programs ⋮ Encoding Circus Programs in ProofPowerZ ⋮ Laws of mission-based programming

This page was built for software: ArcAngelC