https://wiki.hh.se/ceres/index.php?action=history&feed=atom&title=Publications%3ASpecial_issue%3A_software_verification_and_testing
Publications:Special issue: software verification and testing - Revision history
2026-04-03T17:26:17Z
Revision history for this page on the wiki
MediaWiki 1.22.6
https://wiki.hh.se/ceres/index.php?title=Publications:Special_issue:_software_verification_and_testing&diff=4134&oldid=prev
Slawek: Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Mohammad Reza Mousavi, Jun Pang |PID=668692 |Name=Mousavi, Mohammad Reza [m..."
2014-06-26T03:43:37Z
<p>Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Mohammad Reza Mousavi, Jun Pang |PID=668692 |Name=Mousavi, Mohammad Reza [m..."</p>
<p><b>New page</b></p><div><div style='display: none'><br />
== Do not edit this section ==<br />
</div><br />
{{PublicationSetupTemplate|Author=Mohammad Reza Mousavi, Jun Pang<br />
|PID=668692<br />
|Name=Mousavi, Mohammad Reza [mohmou] (Högskolan i Halmstad [2804], Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE) [3905], Halmstad Embedded and Intelligent Systems Research (EIS) [3938], Centrum för forskning om inbyggda system (CERES) [6702]);Pang, Jun (University of Luxembourg)<br />
|Title=Special issue: software verification and testing<br />
|PublicationType=Book<br />
|ContentType=Refereegranskat<br />
|Language=eng<br />
|Journal=<br />
|JournalISSN=<br />
|Status=<br />
|Volume=<br />
|Issue=<br />
|HostPublication=<br />
|Conference=<br />
|StartPage=<br />
|EndPage=<br />
|Year=2013<br />
|Edition=<br />
|Pages=<br />
|City=London<br />
|Publisher=Springer<br />
|Series=Innovations in Systems and Software Engineering ; 9<br />
|SeriesISSN=1614-5054<br />
|ISBN=<br />
|Urls=<br />
|ISRN=<br />
|DOI=http://dx.doi.org/10.1007/s11334-013-0211-1<br />
|ISI=<br />
|PMID=<br />
|ScopusId=<br />
|NBN=urn:nbn:se:hh:diva-24047<br />
|LocalId=<br />
|ArchiveNumber=<br />
|Keywords=Software Testing;Formal Verification<br />
|Categories=Data- och informationsvetenskap (102)<br />
|ResearchSubjects=<br />
|Projects=<br />
|Notes=<br />
|Abstract=<br />
|Opponents=<br />
|Supervisors=<br />
|Examiners=<br />
|Patent=<br />
|ThesisLevel=<br />
|Credits=<br />
|Programme=<br />
|Subject=<br />
|Uppsok=<br />
|DefencePlace=<br />
|DefenceLanguage=<br />
|DefenceDate=<br />
|CreatedDate=2013-12-02<br />
|PublicationDate=2013-12-02<br />
|LastUpdated=2013-12-03<br />
|diva=http://hh.diva-portal.org/smash/record.jsf?searchId=1&pid=diva2:668692}}<br />
<div style='display: none'><br />
<br />
== Keep all hand-made modifications below ==<br />
</div>{{PublicationDisplayTemplate}}</div>
Slawek