Foundations of intelligent systems: 19th international symposium ; proceedings by ISMIS, Warschau fromLecture Notes in Computer Science 0 Type: Book
Formal methods: foundations and applications: 14th Brazilian symposium ; revised selected papers by SBMF, São Paulo fromLecture Notes in Computer Science 0 Type: Book