Back to Results
First PageMeta Content
IRCAM / Folklore / Music / Culture / Audio programming languages / FAUST / Mephisto


Verifying Faust in Coq Progress report Emilio J. Gallego Arias, Pierre Jouvelot, Olivier Hermant, Arnaud Spiwack MINES ParisTech, PSL Research University, France
Add to Reading List

Document Date: 2015-01-21 07:20:49

Open Document

File Size: 873,92 KB

Share Result on Facebook

Company

France CoqPL 2015 Music / /

Facility

PSL Research University / /

IndustryTerm

digital signal processing / Software verification / signal processing / /

Organization

PSL Research University / Stanford / /

Person

Pierre Jouvelot / Emilio J. Gallego Arias / Olivier Hermant / /

Technology

DSP / /

SocialTag