Publication | Closed Access

Sound and complete Hoare-like calculi based on copy rules

MusicDigital AudioEngineeringAudio Signal ProcessingSpeech ProcessingCopy RulesComputer ScienceSound Design