Home > Formal Methods: Foundations and Applications: 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers
Formal Methods: Foundations and Applications: 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers
Book Informaton
Author
Jim Davies; Leila Silva; Adenilso Simao
Series
Lecture Notes in Computer Science
Volume
6527
Year of Publication
2011
Publisher
Springer Berlin Heidelberg
City of Publication
Berlin, Heidelberg
Pages
VIII, 291
Language
en
ISBN
9783642198281, 9783642198298
ARI Id
1664960807891
This page has been accessed 8 times.
Access Options
Citation Options
Download CitationShowing 1 to 20 of 20 entries
Chapters/Headings | Author(s) | Pages | Info |
1-16 | |||
17-32 | |||
33-48 | |||
49-63 | |||
64-79 | |||
80-95 | |||
96-111 | |||
112-127 | |||
128-143 | |||
144-160 | |||
161-176 | |||
177-193 | |||
194-209 | |||
210-225 | |||
226-241 | |||
242-257 | |||
258-273 | |||
274-290 | |||
Chapters/Headings | Author(s) | Pages | Info |
Showing 1 to 20 of 20 entries