Matches in DBpedia 2016-04 for { <http://www.sosy-lab.org/~dbeyer/Publications/2014-TACAS.Status_Report_on_Software_Verification.pdf> ?p ?o }
Showing triples 1 to 7 of
7
with 100 triples per page.
- 2014-TACAS.Status_Report_on_Software_Verification.pdf author "Dirk Beyer".
- 2014-TACAS.Status_Report_on_Software_Verification.pdf booktitle "Proceedings of the 20th International Conference on Tools and Algorithms for the Construction and of Analysis Systems".
- 2014-TACAS.Status_Report_on_Software_Verification.pdf isCitedBy BLAST_model_checker.
- 2014-TACAS.Status_Report_on_Software_Verification.pdf publisher "Springer-Verlag, Heidelberg".
- 2014-TACAS.Status_Report_on_Software_Verification.pdf title "Third Competition on Software Verification".
- 2014-TACAS.Status_Report_on_Software_Verification.pdf url 2014-TACAS.Status_Report_on_Software_Verification.pdf.
- 2014-TACAS.Status_Report_on_Software_Verification.pdf year "2014".