hol-unity

1 definition found

hol-unity - Free On-line Dictionary of Computing (26 May 2007) :

  HOL-UNITY
  
     A verification tool for UNITY?  Version 2.1.
  
     E-mail: Flemming Andersen <fa@tfl.dk>?