IEEE Std 1850-2005: IEEE Standard for Property Specification Language (PSL)

IEEE Xplore; Linguagem: Português

Referência(s)