HYPROOF

AcronymDefinition
HYPROOFHyper-Programming System by Object-Oriented Formula