Formal specification meta-language. VDM and programming languages. VDM and other systems.Even though computers may be claimed to possess fixed point finding instructions, Y, they would have to be general ... The definition represents two intertwined efforts: the further concreti- zation of run-time objects, here the ENV2 stack into theanbsp;...
|Title||:||Formal specification and software development|
|Author||:||Dines Bjørner, Cliff B. Jones|
|Publisher||:||Prentice Hall - 1982|