24246119
Results 1 to 1 of 1
Selection :
Programmation d'un interpréteur abstrait certifié en logique constructive = Programming a certified abstract interpreter in constructive logicCACHERA, David; PICHARDIE, David.TSI. Technique et science informatiques. 2011, Vol 30, Num 4, pp 381-408, issn 0752-4072, 28 p.Article