About
Sign in
Join
Formal Specification and Software Development
Cliff B. Jones,
Dines Bjørner
—
1982
Formal specification meta-language. VDM and programming languages. VDM and other systems.
Buy
Want to read
Sign up to use
Share
0
Reviews
0
Highlights
0
Currently reading
0
Finished
0
Want to read