![]() | ![]() |
| 1989 | ||
|---|---|---|
| 2 | Bjørn Kirkerud: Object-oriented programming with Simula (repr.). Addison-Wesley 1989: I-XIII, 1-513 | |
| 1982 | ||
| 1 | Bjørn Kirkerud: Completeness of Hoare-Calculi Revisited. BIT 22(4): 402-418 (1982) | |
Data released under the ODC-BY 1.0 license — See also our legal information page