En ny metode for verifikasjon

Spurkland, Sverre

November 14, 1989

DART

• Published date: November 14, 1989
• Refereed: 1
• Conference: Nordisk Informatikk Konferanse '89. Proceedings. Stavanger
• Title: En ny metode for verifikasjon
• Author(s): Spurkland, Sverre