A systematic kernel development

• Authors:

• Jørgen F. Søgaard-Anderson;Camilla Østerberg Rump;Hans Henrik Løvengreen

• Affiliations:

• -;-;-

• Venue:
• SIGSOFT '91 Proceedings of the conference on Software for citical systems
• Year:
• 1991