Text

Formal Methods: Foundations and Applications

---

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 methods for the construction of high quality computational systems, aiming to promote opportunities for researchers with interests in formal methods to discuss the recent advances in this area.

---

Availability

No copy data

Detail Information

Series Title

Lecture Notes in Computer Science

Call Number

-

Publisher

Cham : Springer., 2015

Collation

IX, 179 hlm

Language

English

ISBN/ISSN

9783319150758

Classification

NONE

Content Type

-

Media Type

-

Carrier Type

online resource

Edition

-

Subject(s)

Software Engineering

Specific Detail Info

-

Statement of Responsibility

Christiano Braga, Narciso Martí-Oliet

Other Information

Cataloger

Jemadi

Source

https://link.springer.com/content/pdf/10.1007/978-3-319-15075-8.pdf?pdf=button

Validator

Jemadi

Digital Object Identifier (DOI)

-

Journal Volume

-

Journal Issue

-

Subtitle

-

Parallel Title

-

Other version/related

File Attachment

Comments

---

You must be logged in to post a comment