|
" Formal methods: foundations and applications : "
Juliano Iyoda, Leonardo de Moura (eds.)
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
605959
|
| Doc. No
|
:
|
b435178
|
| Main Entry
|
:
|
Brazilian Symposium on Formal Methods(16th :2013 :, Brasilia, Brazil)
|
| Title & Author
|
:
|
Formal methods: foundations and applications : : 16th Brazilian symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013 : proceedings /\ Juliano Iyoda, Leonardo de Moura (eds.)
|
| Series Statement
|
:
|
Lecture notes in computer science,; 8195
|
|
|
:
|
LNCS sublibrary, SL 2, Programming and software engineering
|
| Page. NO
|
:
|
1 online resource (x, 243 pages) :: illustrations
|
| ISBN
|
:
|
3642410715 (electronic bk.)
|
|
|
:
|
: 9783642410710 (electronic bk.)
|
|
|
:
|
9783642410703
|
| Bibliographies/Indexes
|
:
|
Includes bibliographical references and index
|
| Abstract
|
:
|
This book constitutes the refereed proceedings of the 16th Brazilian Symposium on Formal Methods, SBMF 2013, held in Brasilia, Brazil, in September/October 2013. The 14 revised full papers presented together with 2 keynotes were carefully reviewed and selected from 29 submissions. The papers presented cover a broad range of foundational and methodological issues in formal methods for the design and analysis of software and hardware systems as well as applications in various domains
|
| Subject
|
:
|
Formal methods (Computer science), Congresses
|
| Dewey Classification
|
:
|
004.01/51
|
| LC Classification
|
:
|
QA76.9.F67B73 2013
|
|
|
:
|
QA76.9.F67B73 2013
|
| Added Entry
|
:
|
Iyoda, Juliano
|
|
|
:
|
Moura, Leonardo de
|
| Added Entry
|
:
|
Ohio Library and Information Network
|
| Parallel Title
|
:
|
SBMF 2013
|
| |