(1999). Formal verification of the AAMP-FV microcode / Steven P. Miller [and others].
Chicago Style (17th ed.) ZitazioaFormal Verification of the AAMP-FV Microcode / Steven P. Miller [and Others]. 1999.
MLA (9th ed.) ZitazioaFormal Verification of the AAMP-FV Microcode / Steven P. Miller [and Others]. 1999.
Kontuz: berrikusi erreferentzia hauek erabili aurretik.