Filter by

  • Publication Year
  • Availability
  • Attachment
  • Collection Type
  • General Material Designation
    See More
  • Location
  • Language
Found 1 from your keywords: author="Christiano Braga"
cover
Formal Methods: Foundations and Applications
Comment Share
Narciso Martí-OlietChristiano Braga

This book constitutes the thoroughly refereed post-conference proceedings of the 17th Brazilian Symposium on Formal Methods, SBMF 2014, held in Maceió, Brazil, in September/October 2014. The 9 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 34 submissions. SBMF is an event devoted to the dissemination of the development and use of formal…

Edition
-
ISBN/ISSN
9783319150758
Collation
IX, 179 hlm
Series Title
Lecture Notes in Computer Science
Call Number
-