Ib Holm Sørensen (Danish Wikipedia)

Analysis of information sources in references of the Wikipedia article "Ib Holm Sørensen" in Danish language version.

refsWebsite

Global rank Danish rank

2web.archive.org

1^st place

1github.com

383^rd place

4,379^th place

1york.ac.uk

7,670^th place

low place

1ox.ac.uk

613^th place

476^th place

1bcs.org

low place

1bitsavers.org

4,153^rd place

low place

1bl.uk

1,234^th place

1,993^rd place

1ncl.ac.uk

4,362^nd place

5,417^th place

1nott.ac.uk

low place

1google.com

163^rd place

290^th place

1worldcat.org

5^th place

36^th place

bcs.org

Bowen, Jonathan (juli 2022). "Ib Holm Sørensen: Ten Years After" (PDF). FACS FACTS (engelsk). No. 2022-2. BCS-FACS. s. 41-49. Hentet 3. august 2022.

bitsavers.org

Sørensen, Ib Holm; Kresse, Eric (December 1977). RIKKE-MATHILDA microassemblers and simulators on the DECSystem-10 (Webside ikke længere tilgængelig). Vol. DAIMI MD-28. Aarhus Universitet, Danmark.

bl.uk

ethos.bl.uk

Sørensen, Ib Holm (1981). Topics in programme specification and design: specification and design of distributed systems Arkiveret 31. juli 2022 hos Wayback Machine (DPhil). UK: Wolfson College, University of Oxford.

github.com

Crichton, Edward (29 March 2022). "BToolkit". GitHub.

google.com

"Ib Holm Sorensen". Google Books.

ncl.ac.uk

eprints.ncl.ac.uk

Fitzgerald, J. S. (October 2006). Perspectives on Formal Methods in the Last 25 years. Technical Report Series. Vol. CS-TR-983. UK: Newcastle University.

nott.ac.uk

red.cs.nott.ac.uk

Hayes, Ian, ed. (1993). Specification Case Studies. International Series in Computer Science (2nd ed.). Prentice Hall. ISBN 978-0-13-832544-2.

ox.ac.uk

cs.ox.ac.uk

Roscoe, Bill (8 February 2012). "Ib Sorensen – In memoriam". Department of Computer Science, University of Oxford, UK.

web.archive.org

"Prof. Jim Woodcock, FREng" Arkiveret 3. oktober 2022 hos Wayback Machine. UK: University of York.
Sørensen, Ib Holm (1981). Topics in programme specification and design: specification and design of distributed systems Arkiveret 31. juli 2022 hos Wayback Machine (DPhil). UK: Wolfson College, University of Oxford.

worldcat.org

"Ib Holm Sorensen". WorldCat.

york.ac.uk

pure.york.ac.uk

"Prof. Jim Woodcock, FREng" Arkiveret 3. oktober 2022 hos Wayback Machine. UK: University of York.