Verdi

(named after the Italian composer Giuseppe Verdi (1813-1901)) Provable systems language. Descendant of Ottawa Euclid.



Nearby terms:
Venus flytrap « verbage « verbiage « Verdi » verification » Verilog » Verilog SA