24246120
Results 1 to 1 of 1
Selection :
Expérimentations en Coq pour un générateur de code qualifiable = Experimenting the use of the Coq proof assistant for a qualified automated code generatorIZERROUKEN, Nassima; PANTEL, Marc; THIRIOUX, Xavier et al.TSI. Technique et science informatiques. 2011, Vol 30, Num 4, pp 409-440, issn 0752-4072, 32 p.Article