Formalisation de HOCore en Coq

MLA

Boulier, Simon, and Alan Schmitt. Formalisation de HOCore En Coq. Feb. 2012. EBSCOhost, widgets.ebscohost.com/prod/customlink/proxify/proxify.php?count=1&encode=0&proxy=&find_1=&replace_1=&target=https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&scope=site&db=edsair&AN=edsair.dedup.wf.001..90607e6d23ccc5ab7e9f9770f1ecb7c1&authtype=sso&custid=ns315887.

APA

Boulier, S., & Schmitt, A. (2012). Formalisation de HOCore en Coq.

Chicago

Boulier, Simon, and Alan Schmitt. 2012. “Formalisation de HOCore En Coq,” February. http://widgets.ebscohost.com/prod/customlink/proxify/proxify.php?count=1&encode=0&proxy=&find_1=&replace_1=&target=https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&scope=site&db=edsair&AN=edsair.dedup.wf.001..90607e6d23ccc5ab7e9f9770f1ecb7c1&authtype=sso&custid=ns315887.