Rankings
Publications
Search Publications
Cited-By Search
Sources
Publishers
Scholars
Scholars
Top Cited Scholars
Organizations
About
Login
Register
Home
Publications
A specification language
Home
Publications
A specification language
A specification language
LS
Lb Hoim Sørensen
Lb Hoim Sørensen
Publisher Website
Google Scholar
Add to library
Cite
Download
Share
Download
1 January 1982
book chapter
Published by
Springer Nature
in
Lecture Notes in Computer Science
p.
381-401
https://doi.org/10.1007/3-540-11490-4_23
Abstract
No abstract available
Keywords
BINARY RELATION
PARTIAL FUNCTION
FORMAL FRAMEWORK
SCHEMA NOTATION
NOTATIONAL FRAMEWORK
Cited by 8 articles