Matches in DBpedia 2016-04 for { <http://doi.org/10.1007/bf00288637> ?p ?o }
Showing triples 1 to 13 of
13
with 100 triples per page.
- bf00288637 date "September 1974".
- bf00288637 doi "10.1007/BF00288637".
- bf00288637 first1 "Zohar".
- bf00288637 first2 "Amir".
- bf00288637 isCitedBy Correctness_(computer_science).
- bf00288637 issue "3".
- bf00288637 journal Acta_Informatica.
- bf00288637 last1 "Manna".
- bf00288637 last2 "Pnueli".
- bf00288637 pages "243–263".
- bf00288637 title "Axiomatic approach to total correctness of programs".
- bf00288637 url ft_gateway.cfm?id=356881.
- bf00288637 volume "3".