Special issue: Software verification and testing 2013 (English)In: Innovations in Systems and Software Engineering, ISSN 1614-5046, Vol. 9, no 2, p. 57-58Article in journal, Editorial material (Refereed) Published

Place, publisher, year, edition, pages

London: Springer London, 2013. Vol. 9, no 2, p. 57-58

Keywords [en]

Software Testing, Formal Verification

National Category

Computer and Information Sciences

Identifiers

URN: urn:nbn:se:hh:diva-23498DOI: 10.1007/s11334-013-0211-1Scopus ID: 2-s2.0-84878395603OAI: oai:DiVA.org:hh-23498DiVA, id: diva2:645878

Funder

ELLIIT - The Linköping‐Lund Initiative on IT and Mobile CommunicationsAvailable from: 2013-09-05 Created: 2013-09-05 Last updated: 2018-02-21Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records

Mousavi, Mohammad Reza

Search in DiVA

By author/editor

Mousavi, Mohammad Reza

By organisation

Centre for Research on Embedded Systems (CERES)

On the subject

Computer and Information Sciences

Search outside of DiVA

GoogleGoogle ScholarTotal: 142 hits