Login / Signup

Formalization of Data Base Models.

Dines Bjørner
Published in: Abstract Software Specifications (1979)
Keyphrases