Matches in DBpedia 2015-10 for { <http://doi.org/10.1145/151646.151649> ?p ?o }
Showing triples 1 to 15 of
15
with 100 triples per page.
- 151646.151649 author1Link "Martín Abadi".
- 151646.151649 author2Link "Leslie Lamport".
- 151646.151649 doi "10.1145/151646.151649".
- 151646.151649 first1 "Martín".
- 151646.151649 first2 "Leslie".
- 151646.151649 isCitedBy Function_composition_(computer_science).
- 151646.151649 issue "1".
- 151646.151649 journal "ACM Transactions on Programming Languages and Systems".
- 151646.151649 last1 "Abadi".
- 151646.151649 last2 "Lamport".
- 151646.151649 pages "73–132".
- 151646.151649 title "Composing specifications".
- 151646.151649 url abadi-composing.pdf.
- 151646.151649 volume "15".
- 151646.151649 year "1993".