Aristides Dasso Ana Funes Formal Methods in Software Engineering. 1205-1211 2005 books/idea/Ency05 Encyclopedia of Information Science and Technology (II) db/books/collections/encyclopedia2005.html#DassoF05