Indholdsfortegnelse
1 forhold: Ib Holm Sørensen.
Ib Holm Sørensen
Ib Holm Sørensen (født 29. januar 1949 – død 17. januar 2012) var en datalog, der bidrog til den tidlige udvikling og anvendelse af formelle metoder til specifikation af softwaresystemer og -moduler, især omkring og.
Se Springer og Ib Holm Sørensen
Også kendt som Springer (flertydig).