<div class="csl-bib-body">
<div class="csl-entry">Artho, C., Seidl, M., & Biere, A. (2013). Model-Based Testing for Verification Back-Ends. In <i>Tests and Proofs</i> (pp. 39–55). Springer. https://doi.org/10.1007/978-3-642-38916-0_3</div>
</div>
-
dc.identifier.isbn
9783642389160
-
dc.identifier.isbn
9783642389153
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/54882
-
dc.description.sponsorship
WWTF Wiener Wissenschafts-, Forschu und Technologiefonds
-
dc.relation.ispartofseries
Lecture Notes in Computer Science
-
dc.title
Model-Based Testing for Verification Back-Ends
-
dc.type
Konferenzbeitrag
de
dc.type
Inproceedings
en
dc.relation.publication
Tests and Proofs
-
dc.relation.isbn
978-3-642-38915-3
-
dc.relation.doi
10.1007/978-3-642-38916-0
-
dc.relation.issn
0302-9743
-
dc.description.startpage
39
-
dc.description.endpage
55
-
dc.type.category
Full-Paper Contribution
-
dc.relation.eissn
1611-3349
-
tuw.booktitle
Tests and Proofs
-
tuw.container.volume
7942
-
tuw.peerreviewed
true
-
tuw.book.ispartofseries
Lecture Notes in Computer Science
-
tuw.relation.publisher
Springer
-
tuw.relation.publisherplace
10375 / Lecture Notes in Computer Science
-
tuw.book.chapter
3
-
tuw.project.title
FAME: Formalizing and Managing Evolution in Model-Driven Engineering
-
tuw.researchTopic.id
I6
-
tuw.researchTopic.id
I1
-
tuw.researchTopic.name
Business Informatics
-
tuw.researchTopic.name
Logic and Computation
-
tuw.researchTopic.value
50
-
tuw.researchTopic.value
50
-
tuw.publication.orgunit
E194-03 - Forschungsbereich Business Informatics
-
tuw.publisher.doi
10.1007/978-3-642-38916-0_3
-
dc.description.numberOfPages
17
-
tuw.event.name
7th International Conference on Tests & Proofs
-
tuw.event.startdate
18-06-2013
-
tuw.event.enddate
19-06-2013
-
tuw.event.online
On Site
-
tuw.event.type
Event for scientific audience
-
tuw.event.place
Budapest
-
tuw.event.place
Budapest
-
tuw.event.country
EU
-
tuw.event.presenter
Seidl, Martina
-
wb.sciencebranch
Mathematik, Informatik
-
wb.sciencebranch.oefos
11
-
wb.presentation.type
science to science/art to art
-
item.openairetype
Konferenzbeitrag
-
item.openairetype
Inproceedings
-
item.cerifentitytype
Publications
-
item.cerifentitytype
Publications
-
item.openairecristype
http://purl.org/coar/resource_type/c_18cf
-
item.openairecristype
http://purl.org/coar/resource_type/c_18cf
-
item.fulltext
no Fulltext
-
item.grantfulltext
none
-
crisitem.project.funder
WWTF Wiener Wissenschafts-, Forschu und Technologiefonds
-
crisitem.project.grantno
ICT10-018
-
crisitem.author.dept
E188 - Institut für Softwaretechnik und Interaktive Systeme
