HOL-UNITY

A verification tool for UNITY? Version 2.1.

E-mail: Flemming Andersen <fa@tfl.dk>?

Nearby terms:

Hollerith, HermanHollywiredHOL-UNITYholy warshomehome box

Try this search on Wikipedia, Wiktionary, Google, OneLook.



Not using Html Comment Box  yet?