hol-unity

from The Free On-line Dictionary of Computing (8 July 2008)

HOL-UNITY

   A verification tool for {UNITY}?  Version 2.1.

   E-mail: Flemming Andersen <[email protected]>?