Dyfyniad APA

(1999). Formal verification of the AAMP-FV microcode / Steven P. Miller [and others].

Dyfyniad Arddull Chicago

Formal Verification of the AAMP-FV Microcode / Steven P. Miller [and Others]. 1999.

Dyfyniad MLA

Formal Verification of the AAMP-FV Microcode / Steven P. Miller [and Others]. 1999.

Rhybudd: Mae'n bosib nad yw'r dyfyniadau hyn bob amser yn 100% cywir.