✦ LIBER ✦

Special Section on “Leveraging Formal Methods”

✍ Scribed by Tiziana Margaria; Bernhard Steffen

Publisher: Springer
Year: 2006
Tongue: English
Weight: 56 KB
Volume: 8
Category: Article
ISSN: 1433-2779
DOI: 10.1007/s10009-006-0028-4

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

SoSyM Special Section on Software Engine

SoSyM Special Section on Software Engineering and Formal Methods

✍ Jorge Cuellar; Zhiming Liu 📂 Article 📅 2006 🏛 Springer-Verlag 🌐 English ⚖ 46 KB

Special section on software engineering

Special section on software engineering and formal methods: extended versions of contributions presented at SEFM 2008

✍ Antonio Cerone; Stefan Gruner 📂 Article 📅 2010 🏛 Springer-Verlag 🌐 English ⚖ 178 KB

Preface: special issue on NASA Formal Me

Preface: special issue on NASA Formal Methods Symposium 2010

✍ César A. Muñoz 📂 Article 📅 2011 🏛 Springer 🌐 English ⚖ 68 KB

Preface: Special Issue on Nasa Formal Me

Preface: Special Issue on Nasa Formal Methods Symposium 2009

✍ Ewen Denney; Dimitra Giannakopoulou; Corina S. Păsăreanu 📂 Article 📅 2010 🏛 Springer 🌐 English ⚖ 55 KB

Special section: Innovations in trauma r

Special section: Innovations in trauma research methods

✍ Jeffrey Sonis; Elisa Triffleman; Daniel W. King; Lynda A. King 📂 Article 📅 2006 🏛 Springer 🌐 English ⚖ 72 KB

This issue of the Journal of Traumatic Stress contains a special section devoted to papers derived from the first annual Conference on Innovations in Trauma Research Methods (CITRM), held in New Orleans in November 2004. CITRM (www.citrm.org) was developed as an outgrowth of the Research Methodology

Introduction to the special section on l

Introduction to the special section on linguistically apt statistical methods

✍ Jason Eisner 📂 Article 📅 2002 🏛 Wiley (Blackwell Publishing) 🌐 English ⚖ 30 KB