7th International Conference on Tests and Proofs (TAP 2013)

View Statistics Email Alert RSS Feed

Description

Event name
7th International Conference on Tests and Proofs (TAP 2013)
 
Event type
Event for scientific audience
 
Start date
16-06-2013
End date
20-06-2013
 
Location
Budapest
Country
Hungary
 
Event format Veranstaltungsformat
On Site

Publications Publikationen


Results 1-1 of 1 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Pötzl, Daniel ; Holzer, Andreas Solving Constraints for Generational SearchKonferenzbeitrag Inproceedings 2013