Matches in DBpedia 2016-04 for { <http://doi.org/10.1109/52.976937> ?p ?o }
Showing triples 1 to 14 of
14
with 100 triples per page.
- 52.976937 doi "10.1109/52.976937".
- 52.976937 first "A".
- 52.976937 first2 "R.".
- 52.976937 format "PDF".
- 52.976937 isCitedBy Communicating_sequential_processes.
- 52.976937 issue "1".
- 52.976937 journal "IEEE Software".
- 52.976937 last "Hall".
- 52.976937 last2 "Chapman".
- 52.976937 pages "18–25".
- 52.976937 title "Correctness by construction: Developing a commercial secure system".
- 52.976937 url c_by_c_secure_system.pdf.
- 52.976937 volume "19".
- 52.976937 year "2002".