HOL-UNITY

HOL-UNITY

A verification tool for UNITY? Version 2.1.

E-mail: Flemming Andersen <fa@tfl.dk>?
This article is provided by FOLDOC - Free Online Dictionary of Computing (foldoc.org)