Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
On the Role of Formal Methods in Software Certification: An Experience ReportHeitmeyer, Constance L.Electronic notes in theoretical computer science, 2009-09, Vol.238 (4), p.3-9Elsevier B.VTexto completo disponível |
|
2 |
Material Type: Artigo
|
Verification of Scenario-based Specifications using TemplatesPalshikar, Girish Keshav ; Bhaduri, PurandarElectronic notes in theoretical computer science, 2005-02, Vol.118, p.37-55Elsevier B.VTexto completo disponível |
|
3 |
Material Type: Artigo
|
Managing Complexity in Software Development with Formally Based ToolsHeitmeyer, ConstanceElectronic notes in theoretical computer science, 2004-12, Vol.108, p.11-19Elsevier B.VTexto completo disponível |