ArcAngelC

swMATH6338MaRDI QIDQ18466FDOQ18466

Author name not available (Why is that?)

Described by source

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

Cited In (4)

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

This page was built for software: ArcAngelC