@misc{magniezhdr, author = {F. Magniez}, howpublished = {Habilitation, Universit\'e Paris-Sud, France}, note = {Record number 1018}, pdf = {./PAPIERS/hdr.pdf}, talk = {./PAPIERS/hdr-talk.pdf}, title = {V\'erification approch\'ee - {C}alcul quantique}, year = {2007}, bdsk-url-1 = {./PAPIERS/hdr.pdf}}