The Moving Picture Experts Group

Formal Verification Report on MPEG-4 Parametric Audio Coding