Formal Methods: Foundations and Applications [electronic resource] : 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers / edited by Jim Davies, Leila Silva, Adenilso Simao.
Material type: TextSeries: Lecture Notes in Computer Science, 6527. Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011ISBN: 9783642198298.Subject(s): Computer science | Software engineering | Logic design | Information systemsOnline resources: Click here to access online
Tags from this library: No tags from this library for this title.