Formal Methods in Industry
The application of formal methods in industry has progressed extensively over the past decade and the results are promising. But despite these achievements and it have been documented in numerous studies, it is still very common the skepticism about its usefulness and applicability. The goal of this...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | Spanish |
| Published: |
Instituto Antioqueño de Investigación (IAI)
2012-12-01
|
| Series: | Revista Antioqueña de las Ciencias Computacionales y la Ingeniería de Software (RACCIS) |
| Subjects: | |
| Online Access: | http://fundacioniai.org/raccis/v2n2/n3a7.pdf |