Formal methods: foundations and applications [electronic resource] : 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010 : revised selected papers / Jim Davies, Leila Silva, Adenilso Simao (eds.)
Annotation
Saved in:
| Online Access: |
Full Text (via Springer) |
|---|---|
| Corporate Author: | |
| Other Authors: | , , |
| Other title: | SBMF 2010. |
| Format: | Electronic Conference Proceeding eBook |
| Language: | English |
| Published: |
Berlin ; Heidelberg ; New York :
Springer,
©2011.
|
| Series: | Lecture notes in computer science ;
6527. LNCS sublibrary. Programming and software engineering. |
| Subjects: |
Internet
Full Text (via Springer)Online
| Call Number: |
QA76.9.F67 B73 2011
|
|---|---|
| QA76.9.F67 B73 2011 | Available |