Pablo Buiras
AuthID: R-00K-T71
1
TÃTULO: A Functional Framework for Result Checking
AUTORES: Gilles Barthe; Pablo Buiras; César Kunz;
PUBLICAÇÃO: 2010, FONTE: Functional and Logic Programming, 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedings, VOLUME: 6009
AUTORES: Gilles Barthe; Pablo Buiras; César Kunz;
PUBLICAÇÃO: 2010, FONTE: Functional and Logic Programming, 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedings, VOLUME: 6009
INDEXADO EM: 
DBLP
DBLP