D. Bjorner profile picture

D. Bjorner

Is this your author profile? Create an account to customize it!

Stand Alone

Abstract Software Specifications 1979 Copenhagen Winter School, January 22 - February 2, 1979. Proceedings
Vdm '90: Vdm and Z-Formal Methods in Software Development (Lecture Notes in Computer Science)
Abstract Software Specifications