Integrated formal methods 6th international conference, IFM 2007, Oxford, UK, July 2-5, 2007 proceedings
International Conference on Integrated Formal Methods (6th 2007 Oxford, UK) Jim Davies; Jeremy Gibbons
Berlin Springer 2007
Localização: IME - Inst. Matemática e Estatística (S L471c v.4591 )(Acessar)