Matches in DBpedia 2016-04 for { <http://doi.org/10.1145/74261.74277> ?p ?o }
Showing triples 1 to 10 of
10
with 100 triples per page.
- 74261.74277 booktitle "TRI-Ada '89: Proceedings of the conference on Tri-Ada '89".
- 74261.74277 doi "10.1145/74261.74277".
- 74261.74277 first "D.".
- 74261.74277 isCitedBy GrammaTech.
- 74261.74277 last "Guaspari".
- 74261.74277 location "Pittsburgh, PA".
- 74261.74277 pages "216–224".
- 74261.74277 publisher Association_for_Computing_Machinery.
- 74261.74277 title "Penelope, an Ada verification system".
- 74261.74277 year "1989".