Universidade Federal de Pernambuco Centro de Inform´atica P´os-gradua¸c˜ao em Ciˆencia da Computa¸c˜ao MODULAR REASONING FOR SOFTWARE

First Page		Document Content
Date: 2014-04-08 14:59:29		Universidade Federal de Pernambuco Centro de Inform´atica P´os-gradua¸c˜ao em Ciˆencia da Computa¸c˜ao MODULAR REASONING FOR SOFTWARE Add to Reading List Source URL: twiki.cin.ufpe.br Download Document from Source Website File Size: 1,74 MB Share Document on Facebook