Veracity

MaRDI QIDQ42070swMATHFDO

Official website https://dl.acm.org/citation.cfm?id=787154

Described by source

• Proof tactics for a theory of state machines in a graphical environment

Cited in

(1)

• XIsabelle

This page was built for software: Veracity