Pablo Buiras
AuthID: R-00K-T71
1
TITLE: A Functional Framework for Result Checking
AUTHORS: Gilles Barthe; Pablo Buiras; César Kunz;
PUBLISHED: 2010, SOURCE: Functional and Logic Programming, 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedings, VOLUME: 6009
AUTHORS: Gilles Barthe; Pablo Buiras; César Kunz;
PUBLISHED: 2010, SOURCE: Functional and Logic Programming, 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedings, VOLUME: 6009
INDEXED IN: 
DBLP
DBLP