META-IV : a formal meta-language for abstract software specification

Dines Bjørner
Bok · Engelsk · 1976

Utgitt	Lyngby : Insituttet for datateknik, Danmarks tekniske højskole , 1976
Omfang	45 bl.
Emner	Formell spesifikasjon Formelle språk Programspesifikasjon