The VDM+B project: objectives and progress

Conference Paper uoadl:1057752 297 Read counter

Original Title:
The VDM+B project: objectives and progress
Languages of Item:
English
Creator:
Bicarregui, Juan C. (Juan Carlos)
Dimitrakos, Theo
Lano, K.
Maibaum, Thomas S. E.
Ritchie, B.
Abstract:
Empty abstract
Main subject category:
Mathematics
Pages (from-to):
71-77
The digital material of the item is not available.