Formal methods: foundations and applications: 14th Brazilian symposium, SBMF 2011, Sao Paulo, S… by Simão, Adenilso, SBMF (14, 2011, São Paulo) fromLecture Notes in Computer Science 0 Type: Book
