✦ LIBER ✦

Preface to special issue on software verification

✍ Scribed by Hoare, C. A. R.; Misra, Jayadev

Book ID: 118027642
Publisher: Association for Computing Machinery
Year: 2009
Tongue: English
Weight: 45 KB
Volume: 41
Category: Article
ISSN: 0360-0300
DOI: 10.1145/1592434.1592435

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Preface to the special issue on software

Preface to the special issue on software evolution, adaptability and variability

✍ Andy Zaidman; Johan Brichau 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 161 KB

Preface to the special issue on software evolution, adaptability and variability Welcome to this special issue on Software Evolution, Adaptability and Variability. Software evolution is the term used in software engineering to refer to the process of developing an initial version of the software an

Preface to special issue on hyperactivit

Preface to special issue on hyperactivity

✍ Herbert C. Quay 📂 Article 📅 1976 🏛 Springer US 🌐 English ⚖ 23 KB

Preface to Special Issue on Empowerment

✍ Clay Carr 📂 Article 📅 2008 🏛 Wiley (John Wiley & Sons) 🌐 English ⚖ 220 KB

Preface to special issue on Sphingomonas

✍ A I Laskin; D C White 📂 Article 📅 1999 🏛 Springer-Verlag 🌐 English ⚖ 22 KB

Preface to special issue on GCFRs

✍ P. Fortescue; K. Wirtz 📂 Article 📅 1977 🏛 Elsevier Science 🌐 English ⚖ 85 KB

Preface to special issue on PDIS

✍ Michael J. Carey; Patrick Valduriez 📂 Article 📅 1993 🏛 Springer-Verlag 🌐 English ⚖ 146 KB