Item Details

Print View

Formal Methods [electronic resource]: Foundations and Applications 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings

Iyoda, Juliano
Format
EBook; Book; Online
Published
[S.l.] : Springer Berlin Heidelberg, 2013.
Description
Mode of access: World wide Web.
Notes
Title from content provider.
Technical Details
  • Access in Virgo Classic
  • Staff View

Availability

Read Online