Matches in DBpedia 2016-04 for { <http://citation.dbpedia.org/hash/14cbc8b4bc3990d00b39637579cae6e3022836a54791ccbeff95eec5f072b5f5> ?p ?o }
Showing triples 1 to 14 of
14
with 100 triples per page.
- 14cbc8b4bc3990d00b39637579cae6e3022836a54791ccbeff95eec5f072b5f5 booktitle "Proc. CAV".
- 14cbc8b4bc3990d00b39637579cae6e3022836a54791ccbeff95eec5f072b5f5 first1 "A.".
- 14cbc8b4bc3990d00b39637579cae6e3022836a54791ccbeff95eec5f072b5f5 first2 "C.".
- 14cbc8b4bc3990d00b39637579cae6e3022836a54791ccbeff95eec5f072b5f5 first3 "C.".
- 14cbc8b4bc3990d00b39637579cae6e3022836a54791ccbeff95eec5f072b5f5 first4 "A.".
- 14cbc8b4bc3990d00b39637579cae6e3022836a54791ccbeff95eec5f072b5f5 first5 "M.".
- 14cbc8b4bc3990d00b39637579cae6e3022836a54791ccbeff95eec5f072b5f5 isCitedBy Invariant_(computer_science).
- 14cbc8b4bc3990d00b39637579cae6e3022836a54791ccbeff95eec5f072b5f5 last1 "Bouajjani".
- 14cbc8b4bc3990d00b39637579cae6e3022836a54791ccbeff95eec5f072b5f5 last2 "Drǎgoi".
- 14cbc8b4bc3990d00b39637579cae6e3022836a54791ccbeff95eec5f072b5f5 last3 "Enea".
- 14cbc8b4bc3990d00b39637579cae6e3022836a54791ccbeff95eec5f072b5f5 last4 "Rezine".
- 14cbc8b4bc3990d00b39637579cae6e3022836a54791ccbeff95eec5f072b5f5 last5 "Sighireanu".
- 14cbc8b4bc3990d00b39637579cae6e3022836a54791ccbeff95eec5f072b5f5 title "Invariant Synthesis for Programs Manipulating Lists with Unbounded Data".
- 14cbc8b4bc3990d00b39637579cae6e3022836a54791ccbeff95eec5f072b5f5 year "2010".