Webster's Online Dictionary
with Multilingual Thesaurus Translation

 
Earth's largest dictionary with more than 1226 modern languages and Eve!

Specialty Definition: HOL-UNITY

DomainDefinition
ComputingHOL-UNITY A verification tool for UNITY? Version 2.1. E-mail: Flemming Andersen ? Source: The Free On-line Dictionary of Computing.

Source: compiled by the editor from various references; see credits.

Top